val r = { F = fn () => return } fun main () : transaction page = return Go fun main' (r' : {F : unit -> transaction page}) : transaction page = return Go