Env.TypeConstructor
type TCEnv
data TypeInfo
initTCEnv
tcArity
bindTypeInfo
lookupTC
qualLookupTC
qualLookupTCUnique
type TypeEnv
data TypeKind
typeKind