Given the current state and an event, reduces the event to a new state and a list of effects.
the current state.
the event to reduce.