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