それは言語がenumを持ってるから簡単にユニオン的な事ができるからってのもあるでしょうね

10:15 AM

ユニオンよりもタグが付けられるから、同じエラー型でも複数経路ある場合区別できるし。