re-order type arguments to GArrowProd

diff --git a/GHC/HetMet/Arrow.hs b/GHC/HetMet/Arrow.hs
index b79943a..2de4c42 100644 (file)
--- a/GHC/HetMet/Arrow.hs
+++ b/GHC/HetMet/Arrow.hs
@@ -90,7 +90,7 @@ instance ArrowChoice a => GArrow a Either Void where
                     eitherUnAssoc (Right (Left  y)) = Left  (Right y)
                     eitherUnAssoc (Right (Right z)) = Right        z
 
-instance ArrowChoice a => GArrowSum a (,) () Void Either where
+instance ArrowChoice a => GArrowSum a (,) () Either Void where
   ga_never = arr voidImpossible
   ga_merge = arr merge
               where

diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs
index 9506528..26bec09 100644 (file)
--- a/GHC/HetMet/GArrow.hs
+++ b/GHC/HetMet/GArrow.hs
@@ -82,7 +82,7 @@ class (GArrow     g (**)  u,
 
 class (GArrow     g (**)  u,
        GArrow     g (<+>) v) => 
-       GArrowSum  g (**)  u v (<+>) where
+       GArrowSum  g (**)  u (<+>) v where
   ga_merge :: g (x<+>x) x
   ga_never :: g v       x