1 2 3 4
fun main () : transaction page = x <- source (); y <- source (); return <xml><body>Hi!</body></xml>