OCaml record fields as first-class values
