¿Qué es un tipo existencial?
Leí el artículo de Wikipedia Tipos existenciales . Supuse que se llaman tipos existenciales debido al operador existencial (∃). Sin embargo, no estoy seguro de cuál es el punto. Cuál es la diferencia entre T = ∃X { X a; int f(X); } y T = ∀x { X a; int f(X);