Result value combinators for OCaml
