val (>>=) : 'a t -> ( 'a0 -> 'b t ) -> 'b0 t
val (>>|) : 'a t -> ( 'a0 -> 'b ) -> 'b0 t
val bind : 'a t -> f:( 'a0 -> 'b t ) -> 'b0 t
val map : 'a t -> f:( 'a0 -> 'b ) -> 'b0 t
val join : 'a t t -> 'a0 t
val ignore_m : 'a t -> unit t
val all : 'a t list -> 'a0 list t
val all_unit : unit t list -> unit t