如何在Haskell中重构ProgramState的使用？

data ProgramState = ProgramState {
    counter :: Int,
    config  :: Config
} deriving (Show)

data Config = Config {
    timeout :: Int
} deriving (Show)

import Control.Monad.State

-- 初始化状态
initialState :: ProgramState
initialState = ProgramState { counter = 0, config = Config { timeout = 10 } }

-- 增加计数器
incrementCounter :: State ProgramState ()
incrementCounter = modify $ \s -> s { counter = counter s + 1 }

-- 获取计数器值
getCounter :: State ProgramState Int
getCounter = gets counter

-- 更新配置
updateConfig :: Config -> State ProgramState ()
updateConfig newConfig = modify $ \s -> s { config = newConfig }

-- 示例程序
exampleProgram :: State ProgramState ()
exampleProgram = do
    incrementCounter
    c <- getCounter
    liftIO $ putStrLn $ "Counter: " ++ show c
    updateConfig (Config { timeout = 20 })

main :: IO ()
main = do
    let finalState = execState exampleProgram initialState
    putStrLn $ "Final state: " ++ show finalState