Fold.Monad_infix
val (>>=) : 'a t -> ( 'a0 -> 'b t ) -> 'b0 t
val (>>|) : 'a t -> ( 'a0 -> 'b ) -> 'b0 t