Что такое экзистенциальный тип?
Я прочитал статью в ВикипедииЭкзистенциальные типы, Я понял, что они называются экзистенциальными типами из-за экзистенциального оператора (∃). Я не уверен, какой в этом смысл. В чем разница между
T = ∃X { X a; int f(X); }
а также
T = ∀x { X a; int f(X); }
?