持つ)ということからくる効用である。型を定義するとオーバーライドについて先ほどと同じ言い方を維持できる。節と同じか、それよりも小さい型を指定しなければならない。話はここで終わりではない。型に対して下に来るような型でなければならない。例外を投げないメソッドでなければならない。「この型と同じか、それより小さい型」という風に単一の型を使って表現できる。それより小さい型」だ。節に指定する型はメソッド本体の定義からも制約を受ける。メソッド本体はその実装から「こういう例外を投げうる」ということを求めることができる。型の観点から再構成してみよう。メソッドがどんな例外を投げうるかを定式化することを考える。風文法を想定)を定義して型を推論したり検査したりする。型に適用すると以下のようになるだろう。型については「和集合をとって正規化」にだいたい対応)。型はα∨β∨γなどなど。型の特徴として次のようなことが観察できる。風文法のための規則は式の組み合わせ方について型の制約を追加で課していた。型は統語的な組み合わせにはまったく影響を与えない。