Trans.S1
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