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

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? Ryan