module With_monad: sig .. end
sig
end
include M
include BatOption.Monad
val (>>=) : 'a m -> ('a -> 'b m) -> 'b m
'a m -> ('a -> 'b m) -> 'b m