There is nothing wrong with Set being a subtype of Bag, the problem is that the type system you're discussing doesn't enforce it. If a Set were merely a Bag tha

There is nothing wrong with Set being a subtype of Bag, the problem is that the type system you're discussing doesn't enforce it. If a Set were merely a Bag that must statically enforce the constraint that all elements are unique then there wouldn't be any issues.