引数にIntNZ型がある関数の中で毎回同じような例外処理を書きたくないのです。