Herein lies something closer to a formalization of the problem withraw types: they crush existential occurrences in contravariant andinvariant positions to the upper bound, Object, when the only safepositions to crush in this way are the covariant positions.