(define t:poly-exists?
(lambda (name type)
(if (member *impc:ir:notype* type)
#t
(begin
(if (symbol? name) (set! name (symbol->string name)))
(if (impc:ti:get-polyfunc-candidate name (cons 213 type)) #t #f)))))