runUpdate :: Update a -> State -> ([Output], State)
runUpdate u s = State.execState u (mempty, s)
runUpdate :: Update a -> State -> ([Output], State)
runUpdate u s = State.execState u (mempty, s)
runUpdate u s = State.execState u (mempty, s)