Scalads and Lasses,
i just found Neil Mitchell's excellent paper on
Uniplate - an update to SYB (scrap your boilerplate). It would appear he was thinking along the lines i was that a traversal pattern ought to enable both serialization (or dually, query) and reduction (rewrite to a normal form). His analysis is much more complete than mine, but the type requirements on the underlying traversal mechanism appear to remain the same as i found.
Best wishes,
--greg
--
L.G. Meredith
Managing Partner
Biosimilarity LLC
806 55th St NE
Seattle, WA 98105
+1 206.650.3740
http://biosimilarity.blogspot.com