-| WCoType t => Prelude_error "FIXME WCoType"
-| WCoApp c1 c2 => Prelude_error "FIXME WCoApp"
-| WCoAppT c t => Prelude_error "FIXME WCoAppT"
-| WCoAll k f => Prelude_error "FIXME WCoAll"
+| WCoType t => (WFunTyCon,WFunTyCon) (* FIXME!!! *)
+| WCoApp c1 c2 => (WFunTyCon,WFunTyCon) (* FIXME!!! *)
+| WCoAppT c t => (WFunTyCon,WFunTyCon) (* FIXME!!! *)
+| WCoAll k f => (WFunTyCon,WFunTyCon) (* FIXME!!! *)