Very readable discussion of different ways of expressing applicative and monads in ocaml. Discusses the necessary operators and new syntactic sugar: https://jobjo.github.io/2019/04/24/ocaml-has-some-new-shiny-syntax.html