I always thought that the type-safe XML/HTML in Ur/Web was elegant.

For examples, see http://www.impredicative.com/ur/demo/