Curry.FlatCurry.Type
type QName
type VarIndex
type TVarIndex
data Visibility
data Prog
data TypeDecl
data TypeExpr
data ConsDecl
data OpDecl
data Fixity
data FuncDecl
data Rule
data Expr
data Literal
data CombType
data CaseType
data BranchExpr
data Pattern