(define impc:compiler:print-could-not-resolve-types_find-expr
  (lambda (name ast)
    (cond ((atom? ast) #f)
          ((and (pair? ast)
                (symbol? (car ast))
                (equal? name (car ast)))
           (vector ast))
          ((pair? ast)
           (list (impc:compiler:print-could-not-resolve-types_find-expr
                  name (car ast))
                 (impc:compiler:print-could-not-resolve-types_find-expr
                  name (cdr ast))))
          (else #f))))