using haxml dynamically

[Taesch, Luc]

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.