Module Make.Applicative_infix

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