Re: "fold": a replacement for "reduce"

[Nordlöw]

Correction:

I guess typeof return value could be deduced according + and * at least.

Return type is of course obvious, value is not...