@Tagged!Field indicates a tagged union. Each struct within should have @Tag(X) which is a value of Field
See Implementation
@Tagged!Field indicates a tagged union. Each struct within should have @Tag(X) which is a value of Field