Christian Plesner Hansen designed and implemented a beautiful scheme for simplifying the internal implementation of wildcards. It has the advantage that it never generates intermediate types that cannot be expressed in the surface syntax. That feature is critical for generating good diagnostics. This should be integrated into javac for Tiger.