Kind
type SuperKind
type Kind
typeKind
anyKind
liftedTypeKind
unliftedTypeKind
openTypeKind
constraintKind
mkArrowKind
mkArrowKinds
anyKindTyCon
liftedTypeKindTyCon
openTypeKindTyCon
unliftedTypeKindTyCon
constraintKindTyCon
superKind
superKindTyCon
pprKind
pprParendKind
kindAppResult
synTyConResKind
splitKindFunTys
splitKindFunTysN
splitKindFunTy_maybe
isLiftedTypeKind
isUnliftedTypeKind
isOpenTypeKind
isConstraintKind
isConstraintOrLiftedKind
returnsConstraintKind
isKind
isKindVar
isSuperKind
isSuperKindTyCon
isLiftedTypeKindCon
isConstraintKindCon
isAnyKind
isAnyKindCon
okArrowArgKind
okArrowResultKind
isSubOpenTypeKind
isSubOpenTypeKindKey
isSubKind
isSubKindCon
tcIsSubKind
tcIsSubKindCon
defaultKind
defaultKind_maybe
kiVarsOfKind
kiVarsOfKinds