"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...