[project @ 2003-07-25 14:36:38 by ralf]
[ghc-base.git] / Data / Generics / Types.hs
index d97d49d..caa0fc8 100644 (file)
@@ -70,6 +70,6 @@ typeReachableFrom (a::TypeVal a) (b::TypeVal b) =
     -- See if a is reachable from immediate subterms of a kind of b 
     recurse :: b -> Bool
     recurse = or
-            . gmapL ( typeReachableFrom a 
+            . gmapQ ( typeReachableFrom a 
                     . typeValOf
                     )