<div>For reference¬†Oleg&#39;s indexed continuation monad is packaged on hackage in category-extras as:</div>
<div> </div>
<div><a href="http://hackage.haskell.org/packages/archive/category-extras/latest/doc/html/Control-Monad-Indexed-Cont.html">http://hackage.haskell.org/packages/archive/category-extras/latest/doc/html/Control-Monad-Indexed-Cont.html</a><br>
</div>
<div>-Edward Kmett<br></div>
<div class="gmail_quote">On Wed, Sep 16, 2009 at 7:07 AM, Martijn van Steenbergen <span dir="ltr">&lt;<a href="mailto:martijn@van.steenbergen.nl">martijn@van.steenbergen.nl</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">
<div class="im">David Menendez wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">I&#39;m reminded of the parameterized monad of continuations that Oleg<br>mentioned a few years back.<br><br>
&lt;<a href="http://www.haskell.org/pipermail/haskell/2007-December/020034.html" target="_blank">http://www.haskell.org/pipermail/haskell/2007-December/020034.html</a>&gt;<br></blockquote><br></div>This is all very interesting, thank you both for the pointers!<br>
<br>I was trying to get rid of the newtypes but couldn&#39;t think of how to do that. I can&#39;t believe the solution now is as simple as (m -&gt; r) -&gt; a. There&#39;s hardly any code left, now.<br><br>The fact that it all exists already is nice on the one hand and sad on the other. :-)<br>
<br>I will have to look into parametrized monads and parametrized applicatives.<br><br>Thanks again,<br><font color="#888888"><br>Martijn.</font> 
<div>
<div></div>
<div class="h5"><br>_______________________________________________<br>Haskell-Cafe mailing list<br><a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>