[ghc-steering-committee] #380 GHC2021: Let's deprecate ExistentialQuantification

[Joachim Breitner]

Hi,

Am Freitag, den 04.12.2020, 15:47 +0100 schrieb Spiwack, Arnaud:
> I'm just saying: let's _not_ add ExistentialQuantification in GHC2021
> (because it ought, in my opinion, to be considered deprecated).

I’m convinced!

>  Let's not go into talking about chopping the feature into smaller
> pieces. 

Not for GHC2021! But if GADTs don’t make it this round, we can ask the
question if ExistentialVariables is a feature worth having on its own,
of if anyone who wants to use that should just go for GADTs.


Cheers,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/