Env.Type
data
TypeKind
toTypeKind
type
TypeEnv
bindTypeKind
lookupTypeKind
qualLookupTypeKind