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