Some monad stuff in Ocaml.