あー、確かに昔 Optional とサブタイピングについて調べてたときに踏んだ気がする。継承で戻り値狭められるから Foo は Foo? のサブタイプ扱いされてますねって話で、でもメソッド定義するだけじゃなくて使おうとしたらすぐ死んでた気が。