6.22.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.22.5.1. Implementation
6.22.5.2. Test