(let ((type t (record))) x)