truct Multicase Discriminated Unions Annotating multi-case Discriminated Unions as structs is now also supported, with the following design caveats: Each case must have a unique name The type cannot be recursively defined This feature is currently buggy and should not be used in production code.