Agda.Compiler.Treeless.Uncase
caseToSeq