diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
index 58f4aa6a..0fbbafde 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
@@ -72,10 +72,10 @@
 
 (define (make-printable t)
   (match t
-    [(tc-result1: t) t]
-    [(tc-results: ts) (-values ts)]
+    [(tc-result1: t) (cleanup-type t)]
+    [(tc-results: ts) (-values (map cleanup-type ts))]
     [(tc-any-results: f) (-AnyValues -top)]
-    [_ t]))
+    [_ (cleanup-type t)]))
 
 (define (stringify-domain dom rst drst [rng #f])
   (let ([doms-string (if (null? dom) "" (string-append (stringify (map make-printable dom)) " "))]