Make.Monad_infix
val (>>=) : 'a X.t -> ( 'a -> 'b X.t ) -> 'b X.t
val (>>|) : 'a X.t -> ( 'a -> 'b ) -> 'b X.t