(define impc:ir:get-pretty-tuple-arg-strings
(lambda (string-type . args)
(if (not (char=? (string-ref string-type 0) #\<))
(impc:compiler:print-bad-type-error string-type "tuple type should start with '<'")
(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)))))
t1))))