>コンパイル時ということになれば、
コンパイル時ですべてが決定するわけだから、型部分をエディタでちょいちょいと置換
するのと大差ないって説も・・・