> A fairly cliche example of this ... A more practical example is http://ocsigen.org/docu/1.3.0/XHTML.M.html http://ocsigen.org/docu/1.3.0/XHTML.M.html The ht

> A fairly cliche example of this ... A more practical example is http://ocsigen.org/docu/1.3.0/XHTML.M.html http://ocsigen.org/docu/1.3.0/XHTML.M.html The html type in Ocsigen is only capable of representing valid XHTML. Polymorphic variants are really useful for this sort of thing.