Trans.S
Unary monad transformer.
type 'a t
type 'a m
type 'a e
val lift : 'a m -> 'a t
lifts inner monad into the resulting monad
val run : 'a t -> 'a e
runs the computation