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