> +演算子を定義したインターフェース型(的なもの)があって、
> それをintとStringが継承してれば、その型を推論するのが良い

つまり、objectという基本クラスがあって、
objectを継承した、Int。
objectを継承した、String。

この場合は、objectと推論して、
object + object をするのか？
んで、その結果は？