Functor Applicative.Make

module Make: 
functor (X : Basic) -> S with type 'a t := 'a X.t
Parameters:
X : Basic