Curry.FlatCurry.Annotated.Type
data AProg a
data AFuncDecl a
data ARule a
data AExpr a
data ABranchExpr a
data APattern a