OCamlDuce is an enhancement to OCaml that allows you to use XML types.

WWW: http://www.cduce.org/ocaml