[Haskell-cafe] Formalisation for types of monads

[Yves Parès]

>     Note about []:  Don't even mention foldl.  The folding combinator
>     for lists is foldr, period.

Yes, I do agree. I came to this when I realized foldr gave the church
encoding of a list.

(Well, actually, due to parameters ordering:
    *churchList list* z0 f = foldr f z0 list
does)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120523/2a02a07f/attachment.htm>