Module Error.Monad_infix

Same as Infix, except the monad type has two arguments. The second is always just passed through.

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