Env.TypeConstructor
data TypeInfo
tcKind
clsKind
varKind
clsMethods
type TCEnv
initTCEnv
bindTypeInfo
rebindTypeInfo
lookupTypeInfo
qualLookupTypeInfo
qualLookupTypeInfoUnique
getOrigName
reverseLookupByOrigName