Language.Ast

data Definition

data Expression

data PrimitiveMap a

data SugaredDefinition

data SugaredExpression

mappyChar

mappyNat

mappyList

mappyZero

mappyOne