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