↑この extension 標準でほしくないですか？

7:34 AM

Typed Throws が導入されて、標準の get が throws Failure になれば解決するのかな。