あまり本筋とは関係ないですが、型を用意して例外の値を受け取らない、というところでpointfree/swift-taggedを思い出しました