This proposal seems totally reasonable. I
In a blizzard of email, we may not all remember that you are the shepherd. It's helpful to say something like
Dear GHC Steering Committee
I am the shepherd for
In it, Gergo
proposes to allow local binders to shadow names defined in outer scopes.
[In a more complicated proposal you might like to say a bit more, and why you like it; but this one is fairly simple.]
I recommend acceptance of the proposal as-is. Please respond by Weds 7th August.
This reminds us (a) that you are speaking as the shepherd, (b) gives us a date to respond by, (c) conveys a clear recommendation. (Of course choose your own date.)
As shepherd you will remind us near your deadline, and guide us to a conclusion.
All of this is general guidance for all shepherds! I'm just using you as an example .. I hope you don't mind.
thanks
Simon