<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">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">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>Vitaly</div></div>