;; remap impc:ir:poly-types - should return list types for all options
(define impc:ti:get-polyfunc-candidate-types
(lambda (polyfunc-name)
(let ((candidates (impc:ti:get-polyfunc-candidate-list polyfunc-name)))
(and candidates
(map (lambda (func-vector) (vector-ref func-vector 1)) candidates)))))