add ArrowChoice=>GArrowSum instance

[ghc-base.git] / GHC / HetMet / GArrow.hs

diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs
index d55a807..9f8aab1 100644 (file)
--- a/GHC/HetMet/GArrow.hs
+++ b/GHC/HetMet/GArrow.hs
@@ -83,8 +83,8 @@ class (GArrow     g (**)  u,
 class (GArrow     g (**)  u,
        GArrow     g (<+>) v) => 
        GArrowSum  g (**)  u v (<+>) where
-  ga_merge :: g (x**x) x
-  ga_never :: g v      x
+  ga_merge :: g (x<+>x) x
+  ga_never :: g v       x
       
 
 
@@ -144,5 +144,5 @@ class GArrow g (**) u => GArrowApply g (**) u (~>) where
   ga_applyr    :: g (   (x~>y)**x) y
 
 class GArrow g (**) u => GArrowCurry g (**) u (~>) where
-  ga_curryl    :: g x (y**(x~>y)   )
-  ga_curryr    :: g x (   (x~>y)**y)
+  ga_curryl    :: g (x**y) z  ->  g x (y~>z)
+  ga_curryr    :: g (x**y) z  ->  g y (x~>z)