Module Make.Applicative_infix
val (<*>) : ('d, 'e, 'a -> 'b) t -> ('d, 'e, 'a) t -> ('d, 'e, 'b) tval (<*) : ('d, 'e, 'a) t -> ('d, 'e, unit) t -> ('d, 'e, 'a) tval (*>) : ('d, 'e, unit) t -> ('d, 'e, 'a) t -> ('d, 'e, 'a) tval (>>|) : ('d, 'e, 'a) t -> ('a -> 'b) -> ('d, 'e, 'b) t