What Is Type Equivalence