Writing a State Monad transformer

In this recipe, we will write our own State Monad transformer from scratch. In the state transformer, we embed another monad into a State Monad. Hence, all actions are performed in the embedded monad, whereas the state transformer is responsible for keeping state.

How to do it...

1. Create new project state-monad-trans using the simple Stack template:

        stack new state-monad-trans simple

2. Open src/Main.hs. We will be adding our state transformer here.
3. Add the following imports after the initial module declaration:

        import Data.Functor
        import Control.Applicative
        import Control.Monad

4. Define the State Monad transformer. Note how we embed middle m (monad) in the type...