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.