Module 1-M.Monad_infix

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