23 Jan
2023
23 Jan
'23
9:18 a.m.
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-... * https://stackoverflow.com/q/72329476/15207568
Sometimes it even causes errors where there were none before.
Great evidence! Thanks for linking it.