在不使用return的情况下，可以使用do-notation来实现MonadState的方法。具体示例如下：

import Control.Monad.State

-- 定义一个状态类型
type MyState = State Int

-- 定义一个增加状态值的操作
incState :: MyState ()
incState = do
  -- 获取当前状态值
  state <- get
  -- 修改状态值
  put (state + 1)

-- 定义一个获取状态值的操作
getState :: MyState Int
getState = do
  state <- get
  -- 返回状态值
  return state

-- 定义一个设置状态值的操作
setState :: Int -> MyState ()
setState state = do
  -- 修改状态值
  put state

-- 使用示例
main :: IO ()
main = do
  -- 运行状态操作，初始状态为0
  let (result, newState) = runState (do
        incState
        incState
        state <- getState
        setState (state * 10)
        getState
      ) 0
  -- 输出结果
  putStrLn $ "Result: " ++ show result
  putStrLn $ "New State: " ++ show newState

在上述示例中，我们定义了三个操作函数：incState用于增加状态值，getState用于获取状态值，setState用于设置状态值。这些操作函数都使用了do-notation来实现。

在main函数中，我们通过runState函数来运行状态操作。初始状态为0，我们依次执行了两次incState操作，获取当前状态值并乘以10，然后再次调用getState来获取最终的状态值。最后，我们通过putStrLn函数输出结果。运行该示例代码将得到以下输出：

Result: 20
New State: 20

从输出结果可以看出，我们成功地使用do-notation来实现了MonadState的方法，而没有使用return关键字。