wadler-monads - Monad practice

Trying to reproduce this paper in OCaml.