implement TotalEq and TotalOrd for char