Total{Ord,Eq} -> {Ord,Eq}