fst $ runState == evalState