(let ((type a int) (type b (array a)) (type c b)) ())