Agda.Compiler.Alonzo.Haskell
data AlDecl