(let ((type list (record int list)) (type empty (record)) (type a (record b)) (type b (record a))) ())