<div>Actually, it's a higher rank type and that doesn't show up on hoogle's main page.</div>
<div> </div>
<div>gfoldl :: (forall a b . Data a => c (a -> b) -> a -> c b)</div>
<div> -> (forall g . g -> c g)</div>
<div> -> a</div>
<div> -> c a <br> </div>