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