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