Make.Monad_infix
val (>>=) : 'a T1(M).t -> ('a -> 'b T1(M).t) -> 'b T1(M).t
val (>>|) : 'a T1(M).t -> ('a -> 'b) -> 'b T1(M).t