TotalEq -> Eq