S.Applicative_infix
val (<*>) : ('a -> 'b) t -> 'a t -> 'b t
same as apply
apply
val (<*) : 'a t -> unit t -> 'a t
val (*>) : unit t -> 'a t -> 'a t
val (>>|) : 'a t -> ('a -> 'b) -> 'b t