Re: [GHC] #10495: Poor error message for Coercible constraint unsatisfiability (was: Total inability to infer type for coerce)