Comparisons » Identity, Structural equivalence, Type equivalence.