Agda.Compiler.Treeless.AsPatterns

recoverAsPatterns