תהליך זה מבטיח כי רק פונקציות המוגדרות על-ידי המשתמש ופעולות המוגדרים על סוג נפרדים שניתן להחיל על סוג זה. סוגי לדוגמה, שני מטבע, כגון דולר קנדי בארה ב דולר, לא יכול להיות ישירות בהשוואה, אבל ניתן לספק פונקציה מוגדרת-משתמש כדי להמיר מטבע אחד לשני, ואז לעשות את ההשוואה.