[ghc-steering-committee] Please review: deriving for empty, Shepherd: Iavor Diatchki

[Richard Eisenberg]

> On Aug 16, 2017, at 6:11 PM, Joachim Breitner <mail at joachim-breitner.de> wrote:
> 
> that touches on a more fundamental question: How strict do we want to
> be with the “every divergence from the standard requires an extension”
> rule.

I think this is a great question to ask, but I would want more community feedback on this point than just us in the committee. My stance is that, absent this discussion, we should stay quite strict on that rule.

(In the discussion, I would argue that adherence to the standard is less necessary.)

Richard