Re: [GHC] #9708: Type inference non-determinism due to improvement