制約か…
でも例えば変数に型が無かったら、
怖いことになりそうなんだが