module type S1 = sig .. end
sig
end
include Container.S1_noclass
val container : ('a, 'a container) Container.type_class
('a, 'a container) Container.type_class