[ghc-steering-committee] a plea for PolyKinds

[Iavor Diatchki]

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 at 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 at joachim-breitner.de
>   http://www.joachim-breitner.de/
>
>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201203/dfd12a7b/attachment.html>