Coercion
data Coercion
data Var
type CoVar
kindFunResult
kindAppResult
synTyConResKind
splitKindFunTys
splitKindFunTysN
splitKindFunTy_maybe
isLiftedTypeKind
isUbxTupleKind
isUnliftedTypeKind
isArgTypeKind
isOpenTypeKind
isKind
isTySuperKind
isSuperKind
isCoercionKind
mkArrowKind
mkArrowKinds
isSubArgTypeKind
isSubOpenTypeKind
isSubKind
defaultKind
eqKind
isSubKindCon
mkCoType
coVarKind
coVarKind_maybe
coercionType
coercionKind
coercionKinds
isReflCo
mkReflCo
mkCoVarCo
mkAxInstCo
mkPiCo
mkPiCos
mkSymCo
mkTransCo
mkNthCo
mkInstCo
mkAppCo
mkTyConAppCo
mkFunCo
mkForAllCo
mkUnsafeCo
mkNewTypeCo
mkFamInstCo
mkPredCo
splitCoPredTy_maybe
splitNewTypeRepCo_maybe
instNewTyCon_maybe
decomposeCo
getCoVar_maybe
splitTyConAppCo_maybe
splitAppCo_maybe
splitForAllCo_maybe
mkCoVar
isCoVar
isCoVarType
coVarName
setCoVarName
setCoVarUnique
tyCoVarsOfCo
tyCoVarsOfCos
coVarsOfCo
coercionSize
type CvSubstEnv
emptyCvSubstEnv
data CvSubst
emptyCvSubst
lookupTyVar
lookupCoVar
isEmptyCvSubst
zapCvSubstEnv
getCvInScope
substCo
substCos
substCoVar
substCoVars
substCoWithTy
substCoWithTys
cvTvSubst
tvCvSubst
zipOpenCvSubst
substTy
extendTvSubst
substTyVarBndr
substCoVarBndr
liftCoMatch
liftCoSubst
liftCoSubstTyVar
liftCoSubstWith
coreEqCoercion
coreEqCoercion2
seqCo
pprCo
pprParendCo
pprCoAxiom
applyCo
coVarPred