Computes the next Reduction from the current state and the received action.
Return
A Reduction containing the new state and any Reactions (effects, actions, or cancellations).
The current state of the Store.
The incoming action describing an event from the outside world.
A source for generating unique EffectIds for new effects.