型情報ついてなきゃ計算できないじゃん。