adamc@94: val main : {} -> xml[Html] = fn () =>