Category theory for Programmers book - OCaml flavor

There is an amazing book called Category Theory for Programmers by Bartosz Milewski. At first it was focused on Haskell mostly, added Scala support after. But then someone stepped in to add the OCaml variant of this book.
So writing this message as both recommendation for the book itself, and to be aware (and even better - to help) of the ongoing effort to make it OCaml-friendly.

See the current progress at