On Sun, Sep 13, 2015 at 10:11 AM, John Cowan <xxxxxx@mercury.ccil.org> wrote:

The difference between reduce and fold is that the seed value is
used only when the sequence being reduced is zero-length: it does
not participate in the "normal" operations.

Hm, if it's the consensus, then it implies reduction function is indeed to be expected

a -> a -> a (having the element and accumulated value are of the same type),

and my suggestion loses the point.

Taylan, you may want to hold the change until we discuss more.