Hashing lets you know whether it's the same type or two different types, but you still need to look at the members to find out whether one is a subtype of the other.