change Total{Ord,Eq} to just Ord,Eq

and with this, we should have a working build.