Module 1-X.Monad_infix

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