GArrowConstant(..),
GArrowLiteral(..), -- should be implemented, but never invoked, by user code
- GArrowSum(..),
+ GArrowSum(..), ga_inl, ga_inr,
GArrowProd(..),
GArrowReify(..),
GArrowSum g (**) u (<+>) v where
ga_merge :: g (x<+>x) x
ga_never :: g v x
-
-
-
+ga_inl = ga_uncancelr >>> ga_second ga_never
+ga_inr = ga_uncancell >>> ga_first ga_never
------------------------------------------------------------------------
-- Loop