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