Coercion
type Coercion
type Kind
typeKind
kindFunResult
kindAppResult
synTyConResKind
splitKindFunTys
splitKindFunTysN
splitKindFunTy_maybe
isLiftedTypeKind
isUnliftedTypeKind
isOpenTypeKind
isUbxTupleKind
isArgTypeKind
isKind
isTySuperKind
isCoSuperKind
isSuperKind
isCoercionKind
mkArrowKind
mkArrowKinds
isSubArgTypeKind
isSubOpenTypeKind
isSubKind
defaultKind
eqKind
isSubKindCon
mkCoKind
mkCoPredTy
coVarKind
coVarKind_maybe
coercionKind
coercionKinds
isIdentityCoercion
isEqPred
mkEqPred
getEqPredTys
isEqPredTy
mkCoercion
mkSymCoercion
mkTransCoercion
mkLeftCoercion
mkRightCoercion
mkInstCoercion
mkAppCoercion
mkTyConCoercion
mkFunCoercion
mkForAllCoercion
mkInstsCoercion
mkUnsafeCoercion
mkNewTypeCoercion
mkFamInstCoercion
mkAppsCoercion
mkCsel1Coercion
mkCsel2Coercion
mkCselRCoercion
mkClassPPredCo
mkIParamPredCo
mkEqPredCo
mkCoVarCoercion
mkCoPredCo
unsafeCoercionTyCon
symCoercionTyCon
transCoercionTyCon
leftCoercionTyCon
rightCoercionTyCon
instCoercionTyCon
csel1CoercionTyCon
csel2CoercionTyCon
cselRCoercionTyCon
decompLR_maybe
decompCsel_maybe
decompInst_maybe
splitCoPredTy_maybe
splitNewTypeRepCo_maybe
instNewTyCon_maybe
decomposeCo
coreEqCoercion
coreEqCoercion2
data CoercionI
isIdentityCoI
mkSymCoI
mkTransCoI
mkTyConAppCoI
mkAppTyCoI
mkFunTyCoI
mkForAllTyCoI
fromCoI
mkClassPPredCoI
mkIParamPredCoI
mkEqPredCoI
mkCoPredCoI