This series has some C++ examples alongside Haskell: https://bartoszmilewski.com/2014/10/28/category-theory-for-p... and acquirable as a PDF at https://github.com/hmemcpy/milewski-ctfp-pdf