Un proces care să garanteze că funcţiile de numai definite de utilizator şi operaţiuni care sunt definite pe un tip distinct poate fi aplicat la acel tip. De exemplu, două tipuri de monedă, cum ar fi dolari canadieni şi americani de dolari, nu pot fi comparate direct, ci o funcţie definită de utilizator pot fi furnizate pentru a converti o monedă la alta şi apoi face comparaţia.