[Haskell-cafe] a beginner question: decorate-op-undecorate

[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