I don't know a thing about SYB, Data.Data, or Data.Typeable, mostly because I'm an efficiency fanatic.  Nevertheless, I'd like to know whether or not there's a way to deconstruct a (mostly) arbitrary type, into tuples, unions, etc. using this framework.  Any thoughts?