You may have noticed that most of the code examples so far are examples of functional programming (FP). In fact, functional programming has evolved in close connection with category theory (or so I've ...