Re: [ghc-steering-committee] Treat kind and type vars identically with `forall` #103

Hi, Am Sonntag, den 15.04.2018, 23:11 -0400 schrieb Richard Eisenberg:

On Apr 13, 2018, at 7:48 PM, Joachim Breitner wrote:

...

what does this mean for this proposal? Is there disagreement over quickly the proposal will be implemented?

Yes, I believe there has been disagreement here, with Simon advocating for a sooner implementation, and Manuel and I arguing for a more delayed implementation (specifically, 2 releases after #83 is implemented).

can you work towards a consensus? Simon, since you are the Shepherd I’d kindly ask you to drive this discussion. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/