title: Creating a `State [Int] Int`
body: <p>Reading through <a href="http://learnyouahaskell.com/for-a-few-monads-more#state" rel="nofollow">Learn You a Haskell</a>, I'm trying to construct a <code>Stack [Int] Int</code>:</p>
  
  <pre><code>ghci&gt;import Control.Monad.State
  
  ghci&gt; let stack = state ([1,2,3]) (1) :: State [Int] Int
  
  &lt;interactive&gt;:58:20:
      Couldn't match expected type `s0 -&gt; (State [Int] Int, s0)'
                  with actual type `[t0]'
      In the first argument of `state', namely `([1, 2, 3])'
      In the expression: state ([1, 2, 3]) (1) :: State [Int] Int
      In an equation for `stack':
          stack = state ([1, 2, 3]) (1) :: State [Int] Int
  </code></pre>
  
  <p>How can I create a <code>Stack [Int] Int</code>?</p>