Further reading (at a much slower pace): https://bartoszmilewski.com/2014/10/28/category-theory-for-p... Has examples in C++ and Haskell.