Is it possible to implement `(Applicative m) => Applicative (StateT s m)`?...

Combining StateT and State monads...

How do you `get` the current state from a a state monad that is part of a product monad?...

Recursive state monad for accumulating a value while building a list?...

Has the Control.Monad.State API changed recently?...

How to implement the MonadState class without using record syntax?...

Creating monads analoguous to the IO Monad with chained state...

A parallel monad map in Haskell? Something like parMapM?...

Can't find a proper signature for a function using STUArray (neither can GHC)...

Why don't you need to use 'lift' when interacting with a nested StateT monadT in this ca...

Haskell: attempting to desugar simple State monad get and put...

Could someone walk through how bind in the state monad is implemented ( among other things )?...

monadically iterating over a Data.Sequence...

No more state monad version of hash maps / sets in Haskell?...

Stuck in the State Monad...

How to convert a STArray to a List in Haskell?...

How to handle nested structure when traversing with state monad...

How can I build a nondeterministic state monad in Haskell?...

Returning a value with a state monad...

How to share state between two monads?...

IDs from State Monad in Haskell...

Haskell: How does MonadState's put work?...

Monadic way to read bits from Get monad...

How to deal with application state in Gtk2Hs...

Haskell: map runST...

Side Effect Tracking in SSA...

Is it better to use the State monad, or to pass state recursively?...

Haskell parallel computation using an STArray...

Managing state - chapter 3 of SICP...

Different, interacting levels of state in haskell...