Apply an operation on a value v of type T using the cumulative value
`e`, and type type / value pair `T`/`v`, create a new value of type
`B` and return it

ex:

to concatenate the String representation of all values, use