Re: [GHC] #12924: Pattern Synonyms in Typeclasses