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

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). Richard