A proposal: Sumtypes

[Richard (Rikki) Andrew Cattermole]

On 16/02/2024 9:19 PM, Kagamin wrote:
> Is the `Result` type supposed to be sumtype? Is `Result` on top level 
> supposed to be something like `string | UnicodeException | 
> ErrnoException | IOException | SocketException | PostgresqlException | 
> SqliteException`? That would be beyond attribute soup.

Where did you get ``Result`` from?

None of my examples use that identifier, although Walter's does.