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