TypeVarianceExample modification