(define impc:ti:get-polyfunc-candidate-pretty-types (lambda (polyfunc-name) (let ((types (impc:ti:get-polyfunc-candidate-types polyfunc-name))) (and types (map impc:ir:pretty-print-type types)))))