<div dir="ltr">Hi, <div><br></div><div>This proposal is being revised by the author due to an interaction with other proposals on TH. I've changed the label at Github to "Needs revision".</div><div><br></div><div>Regards,</div><div>Vitaly</div><div><br></div><div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Mar 8, 2019 at 9:40 AM Vitaly Bragilevsky <<a href="mailto:bravit111@gmail.com">bravit111@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi everyone, <div><br></div><div>Matthew Pickering proposed to make Q (TExp a) into a newtype called Code. </div><div>Proposal #195: <a href="https://github.com/ghc-proposals/ghc-proposals/blob/22e97d7693edb0b3676c948a123e57ea93c462e3/proposals/0000-code-texp.rst" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/22e97d7693edb0b3676c948a123e57ea93c462e3/proposals/0000-code-texp.rst</a></div><div>Pull request discussion: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/195" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/195</a></div><div><br></div><div>It looks like the motivation behind this proposal boils down to the convenience of writing instances which seems a good thing. The minor problem I see is the proposed name "Code" as it looks a little bit too abstract for Typed Template Haskell expressions. Nevertheless, I recommend to accept the proposal as it is. Silence is understood as agreement.</div><div><br></div><div>Regards, </div></div><div dir="ltr"><div>Vitaly</div></div></blockquote></div></div></div>