module type Basic2_using_map2 = Basic2_using_map2
module type Basic_using_map2 = Basic_using_map2
module Args_to_Args2 = Args_to_Args2
module S2_to_S = S2_to_S
module S_to_S2 = S_to_S2
module Make_using_map2 : functor (X : Basic_using_map2) -> S with type a t := a X.t
module Make2_using_map2 : functor (X : Basic2_using_map2) -> S2 with type (a, e) t := (a, e) X.t
The following functors give a sense of what Applicatives one can define.
Of these, Of_monad
is likely the most useful. The others are mostly didactic.