GArrowReflect(..)
) where
import Control.Arrow
+import Control.Category
class GArrow g (**) where
ga_id :: g x x
ga_loop = loop
+
+
+------------------------------------------------------------------------------
+-- Category instance for GArrow
+
+instance GArrow g => Category g where
+ id = ga_id
+ x .y = ga_comp y x
+
+
+