Re: [GHC] #8584: Pattern synonym type signatures