voidで副作用の期待を明示
パラメータ関連色々、型レベル計算が遅すぎなので別モジュールにしたほうがよさげ