Result.T1
module T : Core_kernel.T
module M : Monad
type error = T.t
type 'a m = 'a M.t
type 'a t = ('a, error) result m
type 'a e = ('a, error) result m