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

[Richard Eisenberg]

> On Apr 13, 2018, at 7:48 PM, Joachim Breitner <mail at joachim-breitner.de> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180415/2739a62b/attachment.html>