Re: [Haskell-cafe] Mystery: constructor type applications differ from signatures

OK, here you go: https://gitlab.haskell.org/ghc/ghc/-/issues/22383 On Sat, Oct 29, 2022 at 09:24:24AM -0400, Ryan Scott wrote:

I'm inclined to believe that this is a bug in the way that GHC typechecks type applications in patterns. Can you file a GHC issue about this?