monads

A missing monad library
IN THIS PACKAGE
Module type Monads . Std . Monad . Trans . S
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