Re: [GHC] #13322: Pattern synonyms in hs-boot files