Sebuah proses yang menjamin bahwa fungsi pengguna-didefinisikan hanya dan operasi yang didefinisikan pada tipe yang berbeda dapat diterapkan pada tipe tersebut. Sebagai contoh, dua mata uang jenis, seperti dolar Kanada dan US dolar, tidak dapat langsung dibandingkan, tetapi fungsi user-defined dapat diberikan untuk mengkonversi satu mata uang ke yang lain dan kemudian melakukan perbandingan.