Gabriel Dos Reis <gdr@integrable-solutions.net> wrote: > 46)Two types need not be identical to be compatible. > > meaning you may have compatible types that are not equal. Equality is not the only equivalence relation. Compatibility might be intended to be an equivalence relation, without being intended to be the same as equality. paul