(define impc:ti:carcdr-check
(lambda (ast vars kts request?)
;; check that we are getter a pair as an argument
(impc:ti:type-check (cadr ast) vars kts (list (impc:ir:pointer++ *impc:ir:pair*)))
;; don't do anything about return type yet
'()))