Coercion
data Coercion
data Var
type CoVar
data LeftOrRight
pickLR
data Role
ltRole
coVarKind
coVarRole
coercionType
coercionKind
coercionKinds
isReflCo
isReflCo_maybe
coercionRole
coercionKindRole
mkCoercionType
mkReflCo
mkCoVarCo
mkAxInstCo
mkUnbranchedAxInstCo
mkAxInstLHS
mkAxInstRHS
mkUnbranchedAxInstRHS
mkPiCo
mkPiCos
mkCoCast
mkSymCo
mkTransCo
mkNthCo
mkNthCoRole
mkLRCo
mkInstCo
mkAppCo
mkAppCoFlexible
mkTyConAppCo
mkFunCo
mkForAllCo
mkUnsafeCo
mkUnivCo
mkSubCo
mkPhantomCo
mkNewTypeCo
downgradeRole
mkAxiomRuleCo
instNewTyCon_maybe
type NormaliseStepper
data NormaliseStepResult
composeSteppers
modifyStepResultCo
unwrapNewTypeStepper
topNormaliseNewType_maybe
topNormaliseTypeX_maybe
decomposeCo
getCoVar_maybe
splitAppCo_maybe
splitForAllCo_maybe
nthRole
tyConRolesX
setNominalRole_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
extendTvSubstAndInScope
substTyVarBndr
substCoVarBndr
liftCoMatch
liftCoSubstTyVar
liftCoSubstWith
coreEqCoercion
coreEqCoercion2
seqCo
pprCo
pprParendCo
pprCoAxiom
pprCoAxBranch
pprCoAxBranchHdr
tidyCo
tidyCos
applyCo