そういや >>129 が

> さらに、引数がアヒルのクラスだと、型を明示することで、
> ・鳴くことができて歩くことができたとしても、アヒルでなければ、このメソッドの引数として正しくない。
> という検査をさせることもできる。

って書いてるけど、OCamlでそんな事出来たっけ？
OCamlの'O'機能はあまり使わないから自信ないけど、
型が（構造的に）一致したら通っちゃう気がするんだが