Agda.Compiler.Epic.ConstructorIrrelevancy
irrFilter
constrIrr
irrFun
irrExpr
irrBranch