Implementation of monads from the original monad paper in OCaml and F# - View it on GitHub