One way or the other, this has been a very productive question for getting
good pointers on what to read about next...
Thanks again.
Aran
On Sat, Feb 6, 2010 at 8:18 AM, Stephen Tetley
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
Stephen _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe