On Fri, Sep 3, 2010 at 1:29 PM, Ivan Lazar Miljenovic <span dir="ltr"><<a href="mailto:ivan.miljenovic@gmail.com">ivan.miljenovic@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On 3 September 2010 22:23, John Lato <<a href="mailto:jwlato@gmail.com">jwlato@gmail.com</a>> wrote:<br></div>
<div class="im"><br>
> Do you have a kind * implementation of Foldable? I'd be interested in<br>
> seeing it, because I was unable to create a usable implementation (based<br>
> upon the RMonad scheme) on my last attempt.<br>
<br>
</div>I was going to make it a subset of Foldable: fold, foldr, foldl, etc.</blockquote><div> </div><div>So you don't have a working implementation yet? I ended up thinking this is impossible, although I don't remember the reasoning that led me to that conclusion (and I could very well be wrong).</div>
<div><br></div><div>I would suggest that you check this before going too far along the restricted-monad path.</div><div><br></div><div>John</div></div>