module type S1_phantom = sig .. end
sig
end
include Container.S1_phantom_noclass
val container : ('a, ('a, 'b) container) Container.type_class
('a, ('a, 'b) container) Container.type_class