-- | The "Start" or "default" state for both Observers and Participants happens to be the empty set.
default_State :: (HashSet a)
default_State = empty
default_State :: (HashSet a)
default_State = empty
default_State = empty