型消去
型引数が異なる型でも区別できないため、型引数が異なる型同士でオーバーロードできない。