let type foo = { string, int } type bar = { string, foo } var foobar:bar := new bar { "a foobar", new foo { "foo", 42 } } in foobar.1.0 end