Kind
type Kind
typeKind
isLiftedTypeKind
isUnliftedTypeKind
isConstraintKind
returnsTyCon
returnsConstraintKind
isConstraintKindCon
okArrowArgKind
okArrowResultKind
classifiesTypeWithValues
isStarKind
isStarKindSynonymTyCon
isRuntimeRepPolymorphic