Re: [GHC] #9793: Some as-patterns could be accepted in pattern synonyms