Env.TypeConstructor

data TypeInfo

tcKind

clsKind

varKind

clsMethods

type TCEnv

initTCEnv

bindTypeInfo

rebindTypeInfo

lookupTypeInfo

qualLookupTypeInfo

qualLookupTypeInfoUnique

getOrigName

reverseLookupByOrigName