型推論の結果が期待どおりとはいかない場合があったような？
たしか、この板のどれかのスレに実例が載っていたはずなのだが・・・
見つからん。どこいったー。

でもサブタイプは型推論にとって鬼門だと聞いた時があるけどなー。
(でもサブタイプでも問題なく、期待通り推論してくれるアルゴニズムを書いていた論文があったような気が)