>高度な型推論をさせたい所にクラスの継承オーバーロードオーバーライド由来の多相性やディスパッチが絡むと面倒くさいくらいでどうだろう
継承オーバーロード、オーバーライドが絡む多層生の問題が型推論をめんどくさくなるって
型をどのレベルで同一と考えるかって話にしか普通ならんよね？
まあ元々の文章もどうかしてたし、まともに突っ込むだけ野暮なんだろうが。