existential type

Existential types are fundamentally no more complicated than universal types (in fact, we will see in §24.3 that existentials can straightforwardly be encoded in terms of universals).

This is an existential type of anxiety that stems from the feeling that we are not at home in this world.