値の型がわからなくてもうまく動くように型システムが働くのが自然だと思うけどなぁ。