On Sat, Feb 6, 2010 at 8:18 AM, Stephen Tetley
<stephen.tetley@gmail.com> wrote:
Hi John
I'm not sure about making Binding polymorphic to get Functor,
Traversable, Foldable...
While I think you're correct that partitionEithers might not be a
useful example to draw from in this case, I'd assume that Binding
would be part of a larger syntax-tree, thus there might not be a
appropriate single leaf to make the tree polymorphic on. Felipe
Lessa's point - to use Uniplate or one of the Generics packages -
might be a better candidate for implementing traversals.
Best wishes