datatype sum a b = Left of a | Right of b
val l : sum int string = Left 5
val r : sum int string = Right "Hi"
val show = fn x : sum int string => case x of Left _ => "Left _" | Right s => s
val page = fn x =>
{cdata (show x)}
val main : unit -> page = fn () =>
Left
Right