1 2 3 4 5
datatype t = T of variant [A = t] fun main (x : t) : transaction page = return <xml><body> <a link={main x}>Go</a> </body></xml>