t 型のオブジェクトのリストを取って t 型の単一のオブジェクトを返す関数の型を表す：

この型の多相関数の宣言を表す：

この多相関数を使ってプログラムをコンパイルする：

具体的な型が異なる多相関数を使って別のプログラムをコンパイルする：

任意のパック配列を取って任意のより高階の配列を返す関数の型を表す：

この型の関数を宣言し，具体的な例に対してこの関数を呼び出す：

出力が多相型の関数の型を表す：

この型の関数をコンパイルする：

整数しか取らない関数の型を表す：

この型の関数を表す：

整数型の関数を呼び出すプログラムをコンパイルする：

非整数型の関数が与えられるとこの関数はうまく動作しない：

階数が未満のパックアレーしか取らない関数の型を表す：

この型の関数を表す：

この関数を階数2のパックアレーに適用するプログラムをコンパイルする：

入力のパックアレーの階数が3のときはコンパイルに失敗する：

宣言における制約条件を使って関数のバージョンが区別できる．

次は．同じ関数に対する2つの宣言で，一つは"Integers"についてのもの，もう一方は"UnsignedIntegers"についてのものである：

一致する唯一の制約は"Integers"についてのものである：

以下では，両方の制約条件が一致し，（"UnsignedMachineIntegers"についての）一番限定度が高い宣言が使われる：

CompilerInformationは，"Integer64"のような型が"Integers"のような抽象型にどのように作用するかを見る際に役に立つ．

制約条件は，代替物のリストを付けて与えることもできる．

この宣言は，"Integer64"と"Real64"の両方に適用できる：

この宣言は"Integer64"に使うことができる：

この宣言は，"Real64"にも使うことができる：

代替物のリストがある制約条件には，変数がある型を使うことができる：

この宣言は，"Integer64"に使うことができる：

"PackedArray"型にも使うことができる：

抽象型を宣言する手間をかけずに宣言を行うことは非常に便利である．これらの宣言は，使用されている型が完全に分かっていない場合でも，その型の形状を示すのに役に立つ．