Generics, Not Runtime Determinable?

The idea with generics is to give you, um, a richer type system that is statically provably correct. You can't come up with your own generic class in Salesforce right now. And so the compiler knows that you, what's in that container, and it lets you, you know, use it without throwing any kind of errors or any compilation warnings.