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