Env.TypeConstructor

type TCEnv

data TypeInfo

initTCEnv

tcArity

bindTypeInfo

lookupTC

qualLookupTC

qualLookupTCUnique

type TypeEnv

data TypeKind

typeKind