(define impc:ti:minimized-gen-type
(lambda (type gtype)
(impc:ti:minimize-gen-type-finalize-x
(map (lambda (x) (string->symbol x)) (regex:match-all gtype "\\![a-zA-Z0-9_]*"))
(impc:ti:minimize-gen-type-x (impc:ir:get-type-from-pretty-str gtype) '()
(impc:ir:get-type-from-pretty-str type) '()))))