Redundant-constraints warning complains about the wrong constraint

If I say

{-# OPTIONS_GHC -Wredundant-constraints #-}

module Bug where

f :: (Eq a, Ord a) => a -> Bool
f x = x == x

GHC complains that the Eq a constraint is redundant... where it really should be the Ord a constraint that should be eliminated.

I will fix in ongoing work.