State monad does not force ordering

foo.hs

import           Control.Monad.State    (execState, get, modify)
import           Debug.Trace            (trace)

foo :: IO ()
foo = do
  (x, y) <- pure $ flip execState (1,1) $ do
    (x, y) <- get
    modify (\(x, y) -> (trace "x1" (x+1), (trace "y1" y)))
    (x, y) <- get
    modify (\(x, y) -> (trace "x2" x, trace "y2" (y*3)))
  print y
  print x