koher

そうすると、一般的なunionは避けるにしても、 any Error だけは特別に throw できたらうれしいってことになりそうですね・・・。

例にあげたtopologicalSortのように、本当に列挙しきりたくてそれが可能で、すり抜ける下層とかも無いこともあるんで、 any Error すりぬけがあるか、ないか、だけ書き分けられると便利だったりするかなあ