Module `Make.A`

module I : sig ... end

val apply_first : 'a M.t -> 'b M.t -> 'a M.t
val apply_second : 'a M.t -> 'b M.t -> 'b M.t
val apply_both : 'a M.t -> 'b M.t -> ('a * 'b) M.t
val lift2 : ('a -> 'b -> 'c) -> 'a M.t -> 'b M.t -> 'c M.t
val lift3 : ('a -> 'b -> 'c -> 'd) -> 'a M.t -> 'b M.t -> 'c M.t -> 'd M.t
val lift4 : ('a -> 'b -> 'c -> 'd -> 'e) -> 'a M.t -> 'b M.t -> 'c M.t -> 'd M.t -> 'e M.t
val lift5 : ('a -> 'b -> 'c -> 'd -> 'e -> 'f) -> 'a M.t -> 'b M.t -> 'c M.t -> 'd M.t -> 'e M.t -> 'f M.t

module Infix : sig ... end