module With_monad: sig .. end

---

include M

include BatOption.Monad

val (>>=)  : 'a m -> ('a -> 'b m) -> 'b m