Hello, I would like to inform you that i am currently working on a tool that transforms a Document Type Definition to a library. The resulting library contains combinators that assure proper nesting of elements to some extend. I am planning to add more constraints, that will also take care of the order of occurence of children (content model). The parsing of the DTD is done with HaXml's DTD parser. The whole thing is very much inspired by HList, HaXml, WASH/HTML and HSXML. The darcs repo is at: http://m13s07.vlinux.de/darcs/StaticDTD/ Marcel Manthe -- No one wins It's a war of man.