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