Folks, As a result of our work on functional transformation systems, large bananas, and traversal technology, we have come up with a new generic programming bundle, that is, Strafunski: http://www.cs.vu.nl/Strafunski/ The above web page lists papers (including a new draft on typed combinators for generic traversal) and download information for Strafunski. Strafunski should be useful for anyone in the Haskell community who needs to traverse syntaxes, or other representations. Strafunski is also just interesting as another incarnation of the general idea of generic programming. We appreciate your feedback. Regards, Joost Visser and Ralf Laemmel -- Dr.-Ing. Ralf Laemmel CWI & VU, Amsterdam, The Netherlands http://www.cwi.nl/~ralf/ http://www.cs.vu.nl/~ralf/