Applicative.Make
module A : Applicative_intf.S1_base
include Applicative_intf.S1_base with type 'a t := 'a A.t
val return : 'a -> 'a A.t
val map : 'a A.t -> f:('a -> 'b) -> 'a A.t
val both : 'a A.t -> 'a A.t -> 'a A.t
val all : 'a A.t list -> 'a A.t
module O : sig ... end