<div class="gmail_extra">Hi,<br><br><div class="gmail_quote">On 24 November 2012 15:15, Brent Yorgey <span dir="ltr">&lt;<a href="mailto:byorgey@seas.upenn.edu" target="_blank">byorgey@seas.upenn.edu</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class="im">  twoSucc :: StateT Int [] ()<br>
  twoSucc = do<br>
    i &lt;- get<br>
</div>    put (i+1) `mplus` put (i+2)<br></blockquote></div><div class="gmail_extra"><br></div>Another way of doing the same thing, which I find more intuitive, is the following:</div><div class="gmail_extra"><br></div><div class="gmail_extra">

<div class="im"><div class="im"><font face="courier new, monospace">twoSucc :: StateT Int [] ()</font></div><div class="im"><font face="courier new, monospace">twoSucc = do</font></div><div class="im"><font face="courier new, monospace">    i &lt;- get</font></div>

<div class="im"><font face="courier new, monospace">    j &lt;- lift [i+1, i+2]</font></div><div class="im"><font face="courier new, monospace">    put j</font></div><div style="font-family:arial,sans-serif;font-size:13px">

<br></div><div style="font-family:arial,sans-serif;font-size:13px">-- <br></div></div>Ozgur Akgun<br>
</div>