Module Of_monad2.Applicative_infix
val (<*>) : ('a -> 'b, 'e) M.t -> ('a, 'e) M.t -> ('b, 'e) M.tval (<*) : ('a, 'e) M.t -> (unit, 'e) M.t -> ('a, 'e) M.tval (*>) : (unit, 'e) M.t -> ('a, 'e) M.t -> ('a, 'e) M.tval (>>|) : ('a, 'e) M.t -> ('a -> 'b) -> ('b, 'e) M.t