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