Question: what are the differences between structural equivalence and name equivalence?
Answer: Therefore two type expressions are name equivalent if and only if they are identical, that is if they can be represented by the same syntax tree, with the same labels. Structural equivalence. Replace the named types by their definitions and recursively check the substituted trees.