(coToIfaceType co2)
coToIfaceType (ForAllCo v co) = IfaceForAllTy (toIfaceTvBndr v)
(coToIfaceType co)
-coToIfaceType (PredCo pco) = IfacePredTy (toIfacePred coToIfaceType pco)
coToIfaceType (CoVarCo cv) = IfaceTyVar (toIfaceTyCoVar cv)
coToIfaceType (AxiomInstCo con cos) = IfaceCoConApp (IfaceCoAx (coAxiomName con))
(map coToIfaceType cos)