Module Result.Ok

module Ok: Monad.S2  with type ('a,'err) t = ('a,'err) Result.t