Un poco más específico que la pregunta de desbordamiento de pila¿Qué es un tipo existencial?, cual es la diferencia entre Scala'stipos existenciales y de Javacomodín¿Preferiblemente con algún ejemplo ilustrativo?

En todo lo que he visto hasta ahora, parecen ser bastante equivalentes.

Algunas referencias. Martin oderskylos menciona; De Googletop hit para mi pregunta:

MES: El diseño original de comodines ... fue inspirado por tipos existenciales. De hecho, el papel original tenía una codificación en tipos existenciales. Pero luego, cuando el diseño final real salió en Java, esta conexión se perdió un poco.