language changes: Total{Eq,Ord} -> {Eq,Ord}.