Haskell：MonadState的投入是如何工作的？

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) 

什麼的（）做期權的定義是什麼？

Answer 1

（）是操作的返回值。由於put用於其副作用（更改狀態），因此不會返回任何有用的內容。