IO descriptions yielded by update. The runtime’s EffectRunner is the only place these are realised; each variant fixes which Msg is emitted back into the loop on completion.
update
EffectRunner
Msg