Re: [GHC] #13688: Allow splices in definition of pattern synonym