(let (add xy : {Int Int})
  (+ xy.1 xy.2)
  (add {1 3}))