Eq->PartialEq TotalEq->Eq