OCaml package documentation

1. monadic_programming