A process that guarantees that only user-defined functions and operations that are defined on a distinct type can be applied to that type. For example, two currency types, such as Canadian dollars and U.S. dollars, cannot be directly compared, but a user-defined function can be provided to convert one currency to the other and then do the comparison.