Data types equivalence