[ghc-steering-committee] a plea for PolyKinds

[Richard Eisenberg]

> On Dec 4, 2020, at 3:18 AM, Spiwack, Arnaud <arnaud.spiwack at tweag.io> wrote:
> 
> Is it even possible while still supporting Haskell2010?

My hunch is "yes". I can imagine trouble with PolyKinds, but each example requires one of NoPolyKinds (in another module), ScopedTypeVariables, or KindSignatures. And each case of trouble is obscure.

Richard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201204/303f326a/attachment.html>