fun main () : transaction page = return {[x <- Some 1; y <- Some 2; return (x + y)]}