monads

A missing monad library
IN THIS PACKAGE
val return : 'a -> ( 'a, _ ) T2(M).t
val bind : ( 'a, 'e ) T2(M).t -> f:( 'a -> ( 'b, 'e ) T2(M).t ) -> ( 'b, 'e ) T2(M).t
val map : ( 'a, 'e ) T2(M).t -> f:( 'a -> 'b ) -> ( 'b, 'e ) T2(M).t
val both : ( 'a, 'e ) T2(M).t -> ( 'b, 'e ) T2(M).t -> ( 'a * 'b, 'e ) T2(M).t
module Open_on_rhs : sig ... end