adjust GArrow class fundeps to make meeting the Coverage Condition easier

diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs
index e2dbf95..4649ad0 100644 (file)
--- a/GHC/HetMet/GArrow.hs
+++ b/GHC/HetMet/GArrow.hs
@@ -46,7 +46,7 @@ import Prelude          hiding (id)
 ------------------------------------------------------------------------
 -- The main GArrow class
 
-class Category g => GArrow g (**) u | (**) -> u, u -> (**) where
+class Category g => GArrow g (**) u | g (**) -> u, g u -> (**) where
 --id           :: g x x
 --comp         :: g x y -> g y z -> g x z
   ga_first     :: g x y -> g (x ** z) (y ** z)