6.12.5. Function category
There are many possibly representations.
We will use a monoidal category whose arrows are
class instances of class 'function'. These instances
can be called with a single argument, and composed
with the infix addition operator.
6.12.5.1. Implementation
6.12.5.2. Test