Define what happens if the store is in a certain state. "In a certain state" condition is true if state is instance of the type specified as generic function parameter.