Comment by nimih

I'm not sure what the point you're trying to illustrate is, but I think you forgot a `flip` (unless the point is that you always mix up the argument order of the foldr reducing function, in which case fair enough).