I’m not sure if you’re operating on a different definition of supertype here, but in general…
Asad S

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

One clap, two clap, three clap, forty?

By clapping more or less, you can signal to us which stories really stand out.