QC the url generation/pretty printing
Proper pretty printer
GADT/deeper embedding of command language

maybe: generate bindigns for xml spec