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