add Arrow=>GArrowProd instance

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

diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs
index 9f8aab1..9506528 100644 (file)
--- a/GHC/HetMet/GArrow.hs
+++ b/GHC/HetMet/GArrow.hs
@@ -75,10 +75,10 @@ ga_swap_second f =
 
 
 class (GArrow     g (**)  u,
-       GArrow     g (<*>) u) =>
-       GArrowProd g (**)  u (<*>) where
+       GArrow     g (<*>) v) =>
+       GArrowProd g (**)  u (<*>) v where
   ga_prod_copy :: g x (x<*>x)
-  ga_prod_drop :: g x  u
+  ga_prod_drop :: g x  v
 
 class (GArrow     g (**)  u,
        GArrow     g (<+>) v) =>