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