equivalence_of_type