--import Control.Monad.Identity
test1 :: State int int
test1 = do -- fuck
  a <- get
--  modify (+1)
-- b <- get
  return (a+1)
test1 :: State int int
test1 = do -- fuck
  a <- get
--  modify (+1)
-- b <- get
  return (a+1)
test1 = do -- fuck
  a <- get
--  modify (+1)
-- b <- get
  return (a+1)