Everyone As you'll see from the proposal thread https://github.com/ghc-proposals/ghc-proposals/pull/473, Richard is going to revise this proposal a bit. Simon On Mon, 16 May 2022 at 20:59, Joachim Breitner wrote:

Dear Committee,

First-class existential types has been submitted by Richard

https://github.com/ghc-proposals/ghc-proposals/pull/374

https://github.com/goldfirere/ghc-proposals/blob/existentials/proposals/0473...

Exciting stuff! This feels, at least to me, like a proposal with major implications – not least because I believe it means that type equality will now involve some form of term equivalence, and may thus affect what kind of Core transformations are still type-preserving. Therefore I would suggest Simon PJ to shepherd this proposal.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Thanks, Joachim

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

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee