Does anyone know of a resource that explains the ideas behind Java generics,
that is:

   * The intended user model
   * New concepts required for this user model
   * Generics ideas which were rejected, and why
   * The way the user model is mapped into JVM behavior
   * JVM changes required for generics
   * The places where the user model was compromised (e.g. for
compatibility)
   * Future plans for generics (if any)

That is, something which will make generics seem less like a twisty maze of
special cases.