(let ((type foo (record (name string) (number int)))
      (type bar (record (name string) (myFoo foo)))
      (var
       foobar
       bar
       (new bar (name "a foobar") (myFoo (new foo (name "foo") (number 42))))))
  (dot (dot foobar myFoo) name))