x と y ですら別の型になってるんですね・・・