module type Minimal_with_datatype = sig .. end
sig
end
include Simpler_domains.Minimal
include Datatype.S