add ga_inl, ga_inr

diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs
index 26bec09..c53e2f8 100644 (file)
--- a/GHC/HetMet/GArrow.hs
+++ b/GHC/HetMet/GArrow.hs
@@ -21,7 +21,7 @@ module GHC.HetMet.GArrow (
   GArrowConstant(..),
   GArrowLiteral(..),   -- should be implemented, but never invoked, by user code
 
-  GArrowSum(..),
+  GArrowSum(..),  ga_inl, ga_inr,
   GArrowProd(..),
 
   GArrowReify(..),
@@ -85,10 +85,9 @@ class (GArrow     g (**)  u,
        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