"Multiply the given [[Numeric]] values. (1..100 by 2).fold(1)(times<Integer>)" see (`function plus`, `function product`) shared Value times<Value>(Value x, Value y) given Value satisfies Numeric<Value> => x*y;