Re: [GHC] #4921: report ambiguous type variables more consistently