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

[Richard Eisenberg]

> On Jul 5, 2022, at 2:58 AM, Spiwack, Arnaud <arnaud.spiwack at tweag.io> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20220705/88242627/attachment.html>