My point was that without variance, you can put float into list of int . This causes language that should be type safe — unsafe