5.8 Modules
Modules application uses currification:
Ocaml
Revised
type t = Set.Make(M).t;;
type t = (Set.Make M).t;