Actually, it's a higher rank type and that doesn't show up on hoogle's main page.
gfoldl :: (forall a b . Data a => c (a -> b) -> a -> c b)
-> (forall g . g -> c g)
-> a
-> c a
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
