[moring]

Did you mean arrays instead of lists? Arrays behave as you describe (with ArrayStoreException when you write a wrong value to an array). List<> is invariant WRT its type parameter.

[hmry]

Yeah, sorry, you're right. I have edited my comment. Thanks for the correction!