Re: [ghc-steering-committee] a plea for PolyKinds

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