[Haskell-cafe] Inscrutable error message from PolyKinds (should it be in GHC202X?)

[Tom Ellis]

On Mon, Jan 23, 2023 at 03:05:52PM +0100, J. Reinders wrote:
> More examples of GHC2021 inclusion of PolyKinds confusing people:
> 
> * https://discourse.haskell.org/t/different-typeable-constraints-behaviour-in-ghc2021-haskell2010/4606?u=jaror
> * https://stackoverflow.com/q/72329476/15207568
> 
> Sometimes it even causes errors where there were none before.

Great evidence!  Thanks for linking it.