Functor Applicative.Make2

module Make2: 
functor (X : Basic2) -> S2 with type ('a, 'e) t := ('a, 'e) X.t
Parameters:
X : Basic2