<p class="src"><a name="v:runState" class="def">In this excerpt from the `StateArrow&#39; page:</a></p><p style="font-family: courier new,monospace; margin-left: 40px;" class="src"><a name="v:runState" class="def">runState</a> :: <a href="http://hackage.haskell.org/packages/archive/base/4.2.0.2/doc/html/Control-Arrow.html#t:Arrow">Arrow</a> a =&gt; <a href="http://hackage.haskell.org/packages/archive/arrows/0.4.1.2/doc/html/Control-Arrow-Transformer-State.html#t:StateArrow">StateArrow</a> s a <i>e</i> b -&gt; a (e, s) (b, s)<a href="http://hackage.haskell.org/packages/archive/arrows/0.4.1.2/doc/html/src/Control-Arrow-Transformer-State.html#runState" class="link">Source</a></p>
<p class="src">what&#39;s the significance of having written &quot;StateArrow s a <i>e</i> b&quot;, instead of &quot;StateArrow s a b c&quot;?</p><p class="src"><br></p><p class="src">Thanks,</p><p class="src">-db</p><p class="src">
<br></p>