Coercion
data Coercion
data Var
type CoVar
coVarKind
coercionType
coercionKind
coercionKinds
isReflCo
isReflCo_maybe
mkCoercionType
coAxiomSplitLHS
mkReflCo
mkCoVarCo
mkAxInstCo
mkAxInstRHS
mkPiCo
mkPiCos
mkCoCast
mkSymCo
mkTransCo
mkNthCo
mkInstCo
mkAppCo
mkTyConAppCo
mkFunCo
mkForAllCo
mkUnsafeCo
mkNewTypeCo
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
mkCvSubst
zipOpenCvSubst
substTy
extendTvSubst
extendCvSubstAndInScope
substTyVarBndr
substCoVarBndr
liftCoMatch
liftCoSubstTyVar
liftCoSubstWith
coreEqCoercion
coreEqCoercion2
seqCo
pprCo
pprParendCo
pprCoAxiom
applyCo