Um pouco mais específico que a questão do Stack OverflowO que é um tipo existencial?qual é a diferença entre Scala'stipos existenciais e Javacuringa, preferivelmente com algum exemplo ilustrativo?

Em tudo que vi até agora, eles parecem ser bastante equivalentes.

Algumas referências. Martin Oderskymenciona-os; Do Googletop hit para minha pergunta:

MO: O design curinga original ... foi inspirado por tipos existenciais. De fato, o artigo original tinha uma codificação em tipos existenciais. Mas quando o projeto final real foi lançado em Java, essa conexão se perdeu um pouco