-mkMetaCoVars [] = return []
-mkMetaCoVars (EqPred ty1 ty2:preds) =
- do { tv <- newMetaTyVar TauTv (mkCoKind ty1 ty2)
- ; tvs <- mkMetaCoVars preds
- ; return (tv:tvs)
- }
-
+mkMetaCoVars = mappM eqPredToCoVar
+ where
+ eqPredToCoVar (EqPred ty1 ty2) = newMetaCoVar ty1 ty2
+ eqPredToCoVar _ = panic "TcInstDcls.mkMetaCoVars"