Equivalent types are equal.