Discriminated on the event literal, so checking envelope.event narrows envelope.data to that event's registry schema.
event
envelope.event
envelope.data
Discriminated on the
eventliteral, so checkingenvelope.eventnarrowsenvelope.datato that event's registry schema.