Accumulator

A function that takes two arguments of different types and returns a value of the first type.