Module Monad.Monad_infix

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