Participating_state.Monad_infix
val (>>=) : 'a T.t -> ( 'a -> 'b T.t ) -> 'b T.t
val (>>|) : 'a T.t -> ( 'a -> 'b ) -> 'b T.t