(define impc:ti:make-vector-check
(lambda (ast vars kts request?)
;; (println 'make-vector request?)
(let* ((a (impc:ti:type-check (cadr ast) vars kts #f))
(b (map (lambda (x) (set! a (impc:ti:type-check x vars kts a))) (cddr ast))))
(list *impc:ir:vector* (length (cdr ast)) a))))