Re: [GHC] #11527: Pattern match translation suboptimal