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