Module Make.Applicative_infix

type ('a, 'd, 'e) t
val (<*>) : ('a -> 'b'd'e) t -> ('a'd'e) t -> ('b'd'e) t
val (<*) : ('a'd'e) t -> (unit, 'd'e) t -> ('a'd'e) t
val (*>) : (unit, 'd'e) t -> ('a'd'e) t -> ('a'd'e) t
val (>>|) : ('a'd'e) t -> ('a -> 'b) -> ('b'd'e) t