catchするときに型に準拠したパターンマッチできない

これは他のHogeErrorでも同じじゃない？

パラメータ持たせられなくて

文字列１個だけ持たせるErrorだったら等価じゃない？

1:47 AM

大域変数にErrorを示すがError以外にも転用可能なString変数

文脈的にエラーじゃない場合もあるのにそれがエラーとして取り回されてるとニュアンスが曖昧になるっていうのは確かに問題だ

1:47 AM

普通 HogeError って型は絶対にエラー（失敗情報）を示すデータだもんね

1:48 AM

少なくともErrorの変数がStringとしても使える状況

これは逆じゃない？ String が Error として使えるんでしょ