mkNewTypeCoercion, mkFamInstCoercion, mkAppsCoercion,
mkCsel1Coercion, mkCsel2Coercion, mkCselRCoercion,
- mkClassPPredCo, mkIParamPredCo,
+ mkClassPPredCo, mkIParamPredCo, mkEqPredCo,
mkCoVarCoercion, mkCoPredCo,
mkIParamPredCo :: (IPName Name) -> Coercion -> Coercion
mkIParamPredCo ipn = (PredTy . IParam ipn)
+mkEqPredCo :: Coercion -> Coercion -> Coercion
+mkEqPredCo co1 co2 = PredTy (EqPred co1 co2)
\end{code}