コンパイル時に型を決定できるならそうかもしれないけど