haskell - 状態を直接渡す代わりに、状態モナドを使用する必要があるのはなぜですか?

Question

状態モナドが状態を直接渡すよりも優れている簡単な例を誰かが示すことができますか?

bar1 (Foo x) = Foo (x + 1)

対

bar2 :: State Foo Foo
bar2 = do
  modify (\(Foo x) -> Foo (x + 1))
  get