(let ((type b c) (type c b)) ())