Error.T
module M : Monad
type 'a m = 'a M.t
type 'a t = 'a Core_kernel.Or_error.t m
type 'a e = 'a Core_kernel.Or_error.t m