(define impc:ir:get-type-from-pretty-closure
(lambda (string-type . args)
(let* ((s1 (regex:replace string-type "\\[(.*)\\]?.*" "$1"))
(t1 (impc:ir:get-type-joiner
(cl:remove-if (lambda (x)
(string=? x ""))
(regex:match-all s1 impc:ir:regex-tc-or-a))))
(t2 (map (lambda (x) (apply impc:ir:get-type-from-pretty-str x args)) t1)))
t2)))