equivalent_type