existential quantification GHC extension