Yes, I agree.

Simon

From: ghc-steering-committee <ghc-steering-committee-bounces@haskell.org> On Behalf Of Vitaly Bragilevsky
Sent: 08 March 2019 06:41
To: ghc-steering-committee <ghc-steering-committee@haskell.org>
Subject: [ghc-steering-committee] #195: Make Q (TExp a) into a newtype, rec: accept

Hi everyone, 

Matthew Pickering proposed to make Q (TExp a) into a newtype called Code. 

Proposal #195: https://github.com/ghc-proposals/ghc-proposals/blob/22e97d7693edb0b3676c948a123e57ea93c462e3/proposals/0000-code-texp.rst

Pull request discussion: https://github.com/ghc-proposals/ghc-proposals/pull/195

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.

Regards, 

Vitaly