(define impc:ti:polytype-exists? (lambda (polytype-name) (if (assoc-strcmp polytype-name *impc:ti:polytype-cache*) #t #f)))