Re: [GHC] #12698: GHC panic on pattern synonym