Env.Type

data TypeKind

toTypeKind

type TypeEnv

bindTypeKind

lookupTypeKind

qualLookupTypeKind