NesFresh
module type S = sig ... end
module type T = sig ... end
module Make (Base : S) : T with type base = Base.t