> Which classes? Every class that inherits from Generic? That would be problematic -- we don't want the addition of typing information to change the behavior of a construct (or at least as little as possible).

The class itself would remain unchanged, the only thing I propose changing is what happens when you subscript it and then attempt to instantiate it.