(let ((type a b) (type b a)) ())