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