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