Agda.Compiler.Epic.CompileState
type IrrFilter
type Compile

State modifiers