<div dir="ltr"><div>Hello,</div><div><br></div><div>I am the shepherd for #195, about a small change to TH, to wrap `Q (TExp a)` into a newtype.  This would be quite handy for a variety of reasons described in the proposal and the comments on the proposal thread:</div><div><div><br></div><div><a href="https://github.com/ghc-proposals/ghc-proposals/pull/195">https://github.com/ghc-proposals/ghc-proposals/pull/195</a><br><div></div></div><div><br></div><div>During the last discussion we requested the proposal to be modified to clarify some points.  Matt has done that, so it is time for another review.  The previous discussion thread is here:</div></div><div><br></div><div><a href="https://mail.haskell.org/pipermail/ghc-steering-committee/2019-November/001260.html">https://mail.haskell.org/pipermail/ghc-steering-committee/2019-November/001260.html</a><br></div><div><br></div><div>I still think this is a good idea, and recommend acceptance.   Since we've already discussed this once, I'll assume acceptance in about a week, if I don't hear from anyone, although I'll wait until at least Simon PJ and Richard confirm that the issues they raised last time have been addressed.</div><div><br></div><div>-Iavor</div><div><br></div></div>