Re: [GHC] #12366: Use TypeOperators for pattern synonyms?