589ea459_All_About_Monads___HaskellWiki__Type_of_computation
[Monad] State [Combination strategy for >>=] The bound function is applied to the input value to produce a state transition function which is applied to the input state. [Type of computation] 
Computations which maintain state
All About Monads - HaskellWiki
Type of computation