"Multiply the given `Numeric` values."
see (`function plus`, `function product`)
shared Value times<Value>(Value x, Value y)
        given Value satisfies Numeric<Value>
        => x*y;