Re: [GHC] #10928: Refine pattern synonym signatures (was: Refine pattern synonym sigantures)