Open
Description
A popular use for unions is to model errors, as this talk exemplifies nicely. SPQR should have an easy way to enable this.
An approach could be to map (chosen) exceptions declared by a resolver method as union members, in addition to the return type.
As always, it must be reasonably easy to extend by the user.