We propose to add covariant and contravariant type parameters to the
generics type system, as described and implemented in the JSR14 prototype 2.0

http://developer.java.sun.com/developer/earlyAccess/adding_generics/index.html

and as described on the Variance Generic Java home page

http://www.daimi.au.dk/~plesner/variance/

This closes the last known remaining hole in the generic type system and
adds significantly to the expressive power of generics.

###@###.### 2003-05-28