Offers a library of functors for prototyping monads in OCaml