Re: [GHC] #11368: Pattern synonym name is mangled when patterns are non-exhaustive