オーバーロードとサブタイプが絡まりあって人間にもコンパイラにも理解できなくなる例がありそうだ