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