[ghc-steering-committee] a plea for PolyKinds

Richard Eisenberg rae at richarde.dev
Fri Dec 4 18:49:31 UTC 2020

> 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.

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

More information about the ghc-steering-committee mailing list