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