Re: [GHC] #8697: Type rationals