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-existentials.rst


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