I support this. It's a great proposal -- I wish I'd thought of it. But I have added a comment to the main thread asking for some changes to the presentation. And an open question about syntax. Simon | -----Original Message----- | From: ghc-steering-committee On Behalf Of Joachim Breitner | Sent: 24 April 2018 03:20 | To: ghc-steering-committee@haskell.org | Subject: [ghc-steering-committee] Deriving via (#120), Recommendation: | accept | | Dear Committee, | | this is your secretary speaking: | | Deriving via was proposed, by Ryan, Icelandjack and Andres, | https://github.com/ghc-proposals/ghc-proposals/pull/120 | rendered at | https://github.com/Icelandjack/ghc-proposals/blob/patch- | 3/proposals/0000-deriving-via.rst | | I’ll shepherd that myself. | | The proposal adds a new deriving strategy that works like GND, but | explicitly names the other, representationally equal type whose | instance should be copied. | | The proposal comes with a paper and an implementation, has been met | with great enthusiasm in the community, and I expect that our users | will do many great things with it, and all that with relatively little | theoretical and implemntational overhead. | | I therefore wholeheartedly recomment that we accept this proposal. | | | Thanks, | Joachim | -- | Joachim Breitner | mail@joachim-breitner.de | http://www.joachim-breitner.de/