MLの型推論は完全だとでも言うのかな?