[ghc-steering-committee] Please review #473: First-class existential types, Shepherd: Simon PJ

[Joachim Breitner]

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 at joachim-breitner.de
  http://www.joachim-breitner.de/