let e = { a = 10, b = "Text" } let s = { a : Natural } in e.(s)