たしかに i, j を間違えるとかよくある話ですし、それを型で弾けるのおもしろいですね。