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

On Aug 16, 2017, at 6:11 PM, Joachim Breitner 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