Re: [GHC] #16155: Pattern Synonym for Ratio