>>990
わっかんない奴だな。
「アヒルなら問題ない扱い」は部分集合だから、アヒル型であったり
そのインターフェイスを全て満足している必要はないんだよ。
処理のたびにそういう部分型をアドホックに定義する手法もあるけれど
どの型の部分型なのかを推論して暗黙のうちに合成・定義してくれる
型システムは一般にはまだ知られてないし、結局いちいち手で書くとなると
それはかなりコスト高になる。