> 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)