How can i use HaXml to produce xml, but in a dynamic way? i mean : 1) what i understand from the example is - u have a type H in haskell - u derive (manally or with drift) an instance Haskell2xml out of it (defines tocontenst, from contents) - u use it, say with to xml, from xml 2) id like to generate an xml structure computed from some schema works, which means that the structure will be build "dynamically" at run time, ie I wont build the structure from an haskell type, not wont i have an haskell2xml instance at hand. (and i dont want to generate an intermediate haskell file and load/compile it) are there a way to create/fill/describe an xml structure "dynamically", ie as a result of some computation (with haxml, i mean) ? a bit like the example 4 from the paper , fixed with the recent names ? This message is for the named person's use only. It may contain confidential, proprietary or legally privileged information. No confidentiality or privilege is waived or lost by any mistransmission. If you receive this message in error, please immediately delete it and all copies of it from your system, destroy any hard copies of it and notify the sender. You must not, directly or indirectly, use, disclose, distribute, print, or copy any part of this message if you are not the intended recipient. CREDIT SUISSE GROUP and each of its subsidiaries each reserve the right to monitor all e-mail communications through its networks. Any views expressed in this message are those of the individual sender, except where the message states otherwise and the sender is authorised to state them to be the views of any such entity. Unless otherwise stated, any pricing information given in this message is indicative only, is subject to change and does not constitute an offer to deal at any price quoted. Any reference to the terms of executed transactions should be treated as preliminary only and subject to our formal written confirmation.