そもそもモチベーションとして、組み込み環境のローレベルAPIみたいな、単一enumで列挙可能＋existentialのコスト回避したい、というのがターゲットと考えられていて

1:13 AM

アプリケーションに出てくるたくさん並べるやつは今まで通り throws の any Error が良いだろう、

1:13 AM

って話になってるよ