Atunci cand o expresie poate avea mai multe tipuri care este ales ?

Cel mai mic in ordinea generalitatii.

De exemplu perechea ('a',True) poate aparent fi din tipurile

(x, Bool) sau (Char, y) sau (Char, Bool) sau chiar (x,y)

unde x y sunt tipuri necunoscute.

Va fi ales: (Char, Bool) ca fiind cel minimal, cel mai precis.