(define impc:ti:expand-generic-types (lambda (types) (map (lambda (t) (cons (car t) (impc:ti:expand-generic-type (cdr t)))) types)))