Re: [GHC] #11233: Improve optimisation of pattern synonym matching