そうすると下層のエラーが複数種類ある場合に雑にそのまま投げなおすことができないから、Errorとしてまとめるか、そのAPIに適したエラーに包みなおして適切な粒度でcaseを分けることになる。

10:16 AM

Javaにtagged unionがないのもきついよね。

10:17 AM

まあ、untagged unionがあればある程度なんとかなるのかな？