Do subtypes of different types overlap?

Printable View