Module type Monads.Std.Monad.Trans.S1

module type S1 = sig .. end
Unary to binary monad transfomer.

type ('a, 'e) t 
type 'a m 
type ('a, 'e) e 
val lift : 'a m -> ('a, 'e) t
lifts inner monad into the resulting monad
val run : ('a, 'e) t -> ('a, 'e) e
runs the computation