val apply : 'a M.t -> 'a M.t -> 'a M.t
val map2 : 'a M.t -> 'a M.t -> f:('a -> 'b -> 'c) -> 'a M.t
val map3 : 'a M.t -> 'a M.t -> 'a M.t -> f:('a -> 'b -> 'c -> 'd) -> 'a M.t
val all : 'a M.t list -> 'a M.t
val all_unit : 'a M.t list -> 'a M.t
module Applicative_infix : sig ... end