module Ok : Core.Monad.S2 with type ('a, 'err) t = ('a, 'err) Core.Result.t
module Error : Core.Monad.S2 with type ('err, 'a) t = ('a, 'err) Core.Result.t
module Exn : sig ... end