type-equivalence