| I was thinking that it might be nice to be able to write Haskell to add, | say, a "deriving XML" or "deriving ASN1" feature whose instances provide | methods to convert between Haskell data structures and those formats, | instead of having to hack the compiler to achieve such automated method | writing. When Template Haskell is out, you'll be able to do just that, I think. Simon