But PolyKinds does not require TypeInType, according to the docs [ https://downloads.haskell.org/ghc/latest/docs/html/users_guide/glasgow_exts....] it is in fact the other way around: TypeInType implies PolyKinds. Of course, the fact that kinds and types are unified may leak somehow, but I have a hard time figuring out an example of such. El jue, 3 dic 2020 a las 18:51, Iavor Diatchki (<iavor.diatchki@gmail.com>) escribió:
I would totally support that if PolyKinds was implemented without requiring TypeInType, but with the current design for me this is a solid `no`.
On Thu, Dec 3, 2020 at 9:48 AM Joachim Breitner <mail@joachim-breitner.de> wrote:
Hi,
Am Donnerstag, den 03.12.2020, 16:40 +0000 schrieb Richard Eisenberg:
Vote for PolyKinds!
convinced.
Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee