(let ((type r (record)) (type a (array cow)) (type x (record a r))) expseq)