haskell - Haskell: MonadState の put はどのように機能しますか?

Question

http://hackage.haskell.org/packages/archive/mtl/1.1.0.2/doc/html/src/Control-Monad-State-Lazy.html

instance (Monad m) => MonadState s (StateT s m) where
    get   = StateT $ \s -> return (s, s)
    put s = StateT $ \_ -> return ((), s)

put の定義で () は何をしますか?

Answer 1

() はアクションの戻り値です。put副作用 (状態の変更) に使用されるため、有用なものは何も返されません。