Also see Wadler’s Links and OCaml/Ocsigen for inline xml fragments, and client + server code generation