"Add the given [[Summable]] values.
 
     (1..100).by(2).fold(0)(plus<Integer>)"​
​see (`function times`, `function sum`)
​tagged("Numbers")
​shared Value plus<Value>(Value x, Value y)
        given Value satisfies Summable<Value>
        => x+y;
​