{Eq,Ord} => Partial{Eq, Ord}