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

On Dec 4, 2020, at 3:18 AM, Spiwack, Arnaud 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