add ArrowChoice=>GArrowSum instance

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

diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs
index 88f84fb..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