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