[Haskell-cafe] Newbie question: Why gfoldl has this strange type?

Ryan Ingram ryani.spam at gmail.com
Thu Aug 30 20:00:32 EDT 2007

Actually, it's a higher rank type and that doesn't show up on hoogle's main

gfoldl :: (forall a b . Data a => c (a -> b) -> a -> c b)
    -> (forall g . g -> c g)
    -> a
    -> c a
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070830/751e25ed/attachment.htm

More information about the Haskell-Cafe mailing list