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