pub type StepMap<StepT> = SeqMap<ParticipantId, StepT>;
struct StepMap<StepT> { /* private fields */ }