Re: [ghc-steering-committee] Modern Scoped Type Variables #448: recommendation (mostly) accept

6 Jul 2022

      Very well, if nobody objects by the end of the week, I'll make this
decision final.

On Tue, Jul 5, 2022 at 4:59 PM Richard Eisenberg  wrote:
...
On Jul 5, 2022, at 2:58 AM, Spiwack, Arnaud 
wrote:
Richard, do you agree?
Yes, if the committee wishes to accept the proposal without the "let"
bits, I'll remove them and move them to a separate proposal. But I would be
dismayed if I do this work and then have the committee not accept or ask
for yet another restructuring of this.
Richard