S2.Applicative_infix
val (<*>) : ('a, 'e) t -> ('a, 'e) t -> ('a, 'e) t
val (<*) : ('a, 'e) t -> ('a, 'e) t -> ('a, 'e) t
val (*>) : ('a, 'e) t -> ('a, 'e) t -> ('a, 'e) t
val (>>|) : ('a, 'e) t -> ('a -> 'b) -> ('a, 'e) t