Reduce is like `fold` in Haskell right? Fold in Haskell has many variant, I forgot exactly which, but I remember there were many.

I never met so many different variants of the `map` or `filter` function in Haskell.

Maybe this shows, in a different way from the reasons in the article, why reduce is harder than map/filter.