Second draft: Sum Type by Struct

[MaxB]

__sumtype Status = Ok | Error | Warning;

-----

Do they need to be defined elsewhere?

Maybe:

struct Ok {}
struct Error {}
struct Warning {}

__sumtype Status = Ok | Error | Warning;

Or is this not necessary?