let f = x: x.a; v = { a = 1; }; in f v