Seems like a good idea.
On Mon, Apr 23, 2018 at 7:20 PM Joachim Breitner
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-der...
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/ _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee