fix incorrect type on GArrowCurry

diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs
index d55a807..88f84fb 100644 (file)
--- a/GHC/HetMet/GArrow.hs
+++ b/GHC/HetMet/GArrow.hs
@@ -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_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)