Re: [GHC] #11700: pattern match bug