Funkce

Instance třídy typů I●●●každý uživatelský typ se může stát instancí libovolnéhopočtu tříd typůtypy nejsou jmennými prostory pro funkce a tak je jezařazení typu do třídy typů jediným prostředkem jaksdílet identifikátory funkcí (např. operace + jedefinována pouze pro typy třídy Num)typ který je instancí třídy, podporuje všechny funkce(operace) dané třídy, pro některé funkce jsou ve tříděimplicitní implementace (s využitím ostatních funkcítřídy). Tyto funkce proto nemusí být daným typemimplementovány (ale samozřejmě mohou).