Executes a Mut with CatT of Mut<S, _>> by a state thread.
Mut
CatT
Mut<S, _>>
To hide the internal state, the type parameter S is universal quantified.
S
To be executed.
The result of computation.
Executes a
MutwithCatTofMut<S, _>>by a state thread.To hide the internal state, the type parameter
Sis universal quantified.