X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Data%2FGenerics%2FSchemes.hs;h=5234b01a4804197c1e382e776fdb143bfd58476b;hb=9185a42d2848131d1272e79cf1e04430fb96b6d0;hp=c783d4adf1edcdf6a9d308561c71b06413f283f8;hpb=a494f0beb57477fbf5395e95dd7c55ba16882f63;p=ghc-base.git

diff --git a/Data/Generics/Schemes.hs b/Data/Generics/Schemes.hs
index c783d4a..5234b01 100644
--- a/Data/Generics/Schemes.hs
+++ b/Data/Generics/Schemes.hs
@@ -157,7 +157,7 @@ gtypecount (_::a) = gcount (False `mkQ` (\(_::a) -> True))
 
 
 -- | Find (unambiguously) an immediate subterm of a given type
-gfindtype :: (Data x, Data y) => x -> Maybe y
+gfindtype :: (Data x, Typeable y) => x -> Maybe y
 gfindtype = singleton
           . foldl unJust []
           . gmapQ (Nothing `mkQ` Just)