Creates a computation that fetches the current state in the monad. You need to dive in the monad to use the value.
The computation which fetches the current state.
Creates a computation that fetches the current state in the monad. You need to dive in the monad to use the value.