[ghc-steering-committee] Please review #448: Modern Scoped Type Variables, Shepherd: Arnaud

[Joachim Breitner]

Dear Committee,

this is your secretary speaking:

We had a bunch of proposals related to scoping and type variables, and
complained about that confusion. Richard built a unified proposal (or
he volunteered), which is now up for consideration:

https://github.com/ghc-proposals/ghc-proposals/pull/448
https://github.com/goldfirere/ghc-proposals/blob/type-variables/proposals/0000-type-variable-scoping.rst

I propose that Arnaud shepherds this.

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/