(let ((type t (record (x int) (y int)))) (new t (x 1) (y 2)))