(define impc:ti:get-polytype-candidate-names
(lambda (polytype-name)
(let ((candidates (impc:ti:get-polytype-candidate-list polytype-name)))
(and candidates
(map (lambda (func-vector) (vector-ref func-vector 0)) candidates)))))