one-shot な Algebraic Effectsなら例外構文とPromiseがあればエミュレートできるから