IL.Type
data Module
data Decl
data ConstrDecl a
data CallConv
data Type
data Literal
data ConstrTerm
data Expression
data Eval
data Alt
data Binding