つのインスタンスであるデフォルトリスト中の最初の型で置き換えられる。このような型が見つからない場合には静的エラーとなる。果はそのモジュール内に限られる。ないばあいには以下が仮定される。デフォルトをオフにする。(n>=1)型シグネチャは変数の型を指定し、文脈をともなうこともある。チャに形式は以下のとおり。あることを表明したものと同等である。リスト中に値束縛をもたなければならない。縛に対して型シグネチャを与えるのは不正である。えることは不正である。けるので、型変数の有効範囲はそれを制約する型シグネチャ内である。らの宣言は静的エラーとなる。