Users may have their own data types which they may need summed. Thankfully, summing operation is easily described as:

• A zero.
• A function.
• A function.

If we give users a constraint collector that accepts these, they will be able to provide summing functions for their own types.