<<367
>Javaでも、オーバーライドしたメソッドの戻り値の型は、変更できない。
>確かに変更したいときもあるけど、それを許すとポリモーフィズムに影響
>がでる。

戻り値をcovariantにしてもポリモーフィズムに影響がでないというのが定説。