I’m sorry, you are right.

Subtype must be safe according to supertype not to have extra properties. So actually $Shape<T> is a subtype of T