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

[Simon Peyton Jones]

Dear GHC steering committee
I strongly propose that we accept
            Treat kind and type vars identically with `forall` #103
https://github.com/ghc-proposals/ghc-proposals/pull/103
It makes our design much more simple and uniform - both in the specification and in the implementation.  The current setup is a terrible dogs breakfast.
Moreover, I propose that we adopt it without a 3-release wait after #83 - see under Alternatives.   Any programs that are rejected by #103 can be fixed by adding some extra forall k's.  And that change will be accepted NOW if you add -XTypeInType.
Simon


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180322/9e992df8/attachment.html>