使用のたびに宣言された型をもつものとして扱われる。出現ごとに同じ型が推論できない場合には静的エラーとなる。一般化によって主型が得られる)を持たねばならない。以下のように定義したとしよう。ような適用が可能になる。限定された型を宣言することもできる。invalidは不正である。型シグネチャは多相再帰をサポートするのに使うことができる。型を指定するのにどのように使えるかを示している。えることを可能にしている。型シグネチャと同様、特定の演算子の性質を宣言するものである。度の結合性宣言を与えることができる。付きをあらわす)がある。