Why aren't there existentially quantified type variables in GHC Haskell

Question

There are universally quantified type variables, and there are existentially quantified data types. However, despite that people give pseudocode of the form exists a. Int

Answer 1

Existentially quantified types are available in GHC, so the question is predicated on a false assumption.