Module type Monad.Infix3

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