example3 :: Int
example3 = flip evalState 0 $ do
  replicateM_ (10^6) $ modify' (+1)
  get
example3 :: Int
example3 = flip evalState 0 $ do
  replicateM_ (10^6) $ modify' (+1)
  get
example3 = flip evalState 0 $ do
  replicateM_ (10^6) $ modify' (+1)
  get