outer = do
  a <- get
  trace a $ return () -- prints initial a
  add1
  trace a $ return () -- prints a + 1
  add2
  trace a $ return () -- prints a + 3
    where
      add1 = modify (+1)
      add2 = modify (+2)