Base.Types
data Type
isArrowType
arrowArity
arrowArgs
arrowBase
arrowUnapply
typeVars
typeConstrs
typeSkolems
equTypes
qualifyType
unqualifyType
data DataConstr
constrIdent
constrTypes
recLabels
recLabelTypes
tupleData
data TypeScheme
data ExistTypeScheme
monoType
polyType
unitType
boolType
charType
intType
floatType
stringType
listType
ioType
tupleType
typeVar
predefTypes