型推論を見て、全てが動的型だとでも思ったのかな