存在型
existential types。存在量化された型 (existentially quantified types)
$ \{\exist X,T\}
Type system - Wikipedia#Existential_types
Haskell/存在量化された型 - Wikibooks
Haskell
Haskell.icon
の型變數は既定で全稱量化されてゐる
←→全稱型 (universal type)
$ \forall X.T