(define impc:ti:simplify-genericfunc-pretty-type
(lambda (pretty-type)
(string-append
"["
(string-join
(map (lambda (x)
(if (string-contains? x ":")
(impc:ir:pointer++ (car (regex:type-split x ":"))
(impc:ir:get-ptr-depth x))
x))
(impc:ir:get-pretty-closure-arg-strings pretty-type))
",")
"]*")))