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?