応用範囲の広い手法だが、たとえば以下のような利用例が考えられる。質量と距離はともに実数だが、これらを足したり混同するのは無意味なので禁じたい。文字列はバイト列の部分集合である。大文字・小文字を区別しない文字列型の定義ほとんどの場合通常の文字列として振る舞うが、比較時だけ大文字と小文字を同一視するような文字列型が欲しい場合がある。文字しか持てないよう制約を加えた文字列型が欲しい場合がある。ついても説明しておこう。