型がクロージャなら例外もクロージャで表現できそう