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