<div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">I don&#39;t know a thing about SYB, Data.Data, or Data.Typeable, mostly because I&#39;m an efficiency fanatic.  Nevertheless, I&#39;d like to know whether or not there&#39;s a way to deconstruct a (mostly) arbitrary type, into tuples, unions,  etc. using this framework.  Any thoughts?<br>



</blockquote><div><br>You can use the Template Haskell deriving in EMGM to get that structure pretty efficiently.<br><br>  <a href="http://www.cs.uu.nl/wiki/GenericProgramming/EMGM">http://www.cs.uu.nl/wiki/GenericProgramming/EMGM</a><br>

  <a href="http://hackage.haskell.org/package/emgm">http://hackage.haskell.org/package/emgm</a><br><br>The obligatory question is: why do you want it?<br><br>Sean  <br></div></div>