coToIfaceType (CoVarCo cv) = IfaceTyVar (toIfaceTyCoVar cv)
coToIfaceType (AxiomInstCo con cos) = IfaceCoConApp (IfaceCoAx (coAxiomName con))
(map coToIfaceType cos)
coToIfaceType (CoVarCo cv) = IfaceTyVar (toIfaceTyCoVar cv)
coToIfaceType (AxiomInstCo con cos) = IfaceCoConApp (IfaceCoAx (coAxiomName con))
(map coToIfaceType cos)