Iceman

そう、だから何でもかんでもエラーに型をつけることは、Universal Errorの多くをRecoverable Errorに持ち込んで手間が増える結果になってしまうと思うんですよね

Universal ErrorやLogic Failureにtyped throwsで型を付けることはないんじゃないでしょうか？これまでRecoverable Errorに型を付けられなかったのを付けられるようにしたいという、Recoverable Errorに限定した話ではないですか？