Discriminated union of all modal states, wrapped in OptionalTraceable so consumers can correlate state events with the analytics trace id.
OptionalTraceable
Discriminated union of all modal states, wrapped in
OptionalTraceableso consumers can correlate state events with the analytics trace id.