existential types

== English == === Noun === existential types plural of existential type