Agda.Compiler.Treeless.DelayCoinduction
delayCoinduction
transform
outputIsInf
underLambdas