One way to cure the defect could be to demand that set-comparator and bag-comparator provide comparison procedures at least when the implementation of sets and bags is based on the comparison function of its elements (and not only on the equality predicate and the hash function).