(define impc:ir:get-type-from-pretty-str
(lambda (string-type . args)
;; (println 'pretty-string-type-in string-type)
(let ((res (apply impc:ir:get-type-from-pretty-str-rec string-type args)))
;; (println 'pretty-string-type string-type 'to res)
res)))