module type T = sig ... end
module type HASHABLE = sig ... end
module type SET = sig ... end
module type MAP = sig ... end