Kleisli Categories Posted by Bartosz Milewski under C++, Category Theory, Haskell [34] Comments In the previous installment of Categories for Programmers, Categories Great and Small, I gave a few examples of simple categories. In this installment we’ll work through a more advanced example. If you’re new to the series, here’s the Table of Contents. Composition of Logs You’ve seen how to model types