Is there possible to support inheriting from a generic type: class classA<T: classB>: T?

[John_McCall]

I think an associated-objects-like "stored properties in extensions" feature would be significantly more interesting and feasible than doing a whole mess of design and implementation work around allowing generic subclassing.