(let ((type t (record))) (new t))