<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Dear GHC Steering Committee</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Please see <a href="https://github.com/ghc-proposals/ghc-proposals/pull/672">https://github.com/ghc-proposals/ghc-proposals/pull/672</a>.  This is a small amendment to a recently-accepted proposal, prompted by the discovery that the language feature accidentally breaks code that doesn't use it.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">It's small but important.  Maybe not yet formally submitted for our attention, but we want to get something agreed and implemented before the next release.  So I think it's worth your early attention.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div>