Stateモナドについて質問なんですが
instance Monad (State s) where
　　　　　　　　　m >>= k = State $ \s -> let
　　　　　　　　　　(a, s') = runState m s
　　　　　　　　　　in runState (k a) s'

↑の式でm >>= k　が m >> kなら、右辺は
State $ \s -> let
(a, s') = runState m s
in runState k s'
((k a)がkだけになる)
という風になると考えていいんでしょうか?