例えば、不等式を満たせば実数型であることも自動的に確定するみたいに
値のテストは型のテストを兼ねる

型のテストが必要になるのは、型さえ合えばどんな値でも構わない場合に限られる