Error.Monad_infix
Same as Infix, except the monad type has two arguments. The second is always just passed through.
Infix
val (>>=) : ('e, 'a) t -> ('a -> ('e, 'b) t) -> ('e, 'b) t
val (>>|) : ('e, 'a) t -> ('a -> 'b) -> ('e, 'b) t