Kind
type Kind
typeKind
isLiftedTypeKind
isUnliftedTypeKind
isConstraintKind
isTYPEApp
returnsTyCon
returnsConstraintKind
isConstraintKindCon
okArrowArgKind
okArrowResultKind
classifiesTypeWithValues
isStarKind
isStarKindSynonymTyCon
tcIsStarKind
isKindLevPoly