Subtypes of types: two or four?

Printable View