One way or the other, this has been a very productive question for getting good pointers on what to read about next...<div><br></div><div>Thanks again.</div><div>Aran<br><br><div class="gmail_quote">On Sat, Feb 6, 2010 at 8:18 AM, Stephen Tetley <span dir="ltr">&lt;<a href="mailto:stephen.tetley@gmail.com">stephen.tetley@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Hi John<br>
<br>
I&#39;m not sure about making Binding polymorphic to get Functor,<br>
Traversable, Foldable...<br>
<br>
While I think you&#39;re correct that partitionEithers might not be a<br>
useful example to draw from in this case, I&#39;d assume that Binding<br>
would be part of a larger syntax-tree, thus there might not be a<br>
appropriate single leaf to make the tree polymorphic on. Felipe<br>
Lessa&#39;s point - to use Uniplate or one of the Generics packages -<br>
might be a better candidate for implementing traversals.<br>
<br>
Best wishes<br>
<div><div></div><div class="h5"><br>
Stephen<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">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></div>