Yeah, for your types, but if I'm a provider of a library of generic data structures (which is what the people asking for generics are probably thinking about),

Yeah, for your types, but if I'm a provider of a library of generic data structures (which is what the people asking for generics are probably thinking about), you're out of luck since I have no way of letting you generate appropriate instances.