Monad.TRANSFORMER
type 'a monad
The inner monad.
type 'a t
The type held by the monad transformer.
val upper : 'a monad -> 'a t
promote monad into the transformation.