Exception.T
module M : Monad
type 'a m = 'a M.t
type 'a t = ('a, exn) Core_kernel.Result.t m
type 'a e = ('a, exn) Core_kernel.Result.t m