[masklinn]

> How would errdefer work in the general union setting?

Well it could not be, and some would argue that would be better.

But you could also have a blessed type, or a more general concept of "abortion" which any type could be linked to.

Or you could have a different statement for failure returns that way you can distinguish a success and a failure without necessarily imposing a specific representation of those failures.