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