(define impc:ti:get-generic-type-as-tuple
(lambda (string-type)
(set! string-type (impc:ir:pretty-print-type string-type))
(let* ((a (impc:ti:maximize-generic-type string-type))
(b (impc:ti:split-namedtype a))
(t (impc:ir:get-type-from-pretty-str (cadr b))))
t)))