module type S0 = sig .. end
sig
end
include Container.S0_noclass
val container : (elt, container) Container.type_class
(elt, container) Container.type_class