diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt
index e154a7df53..ab9c5498e4 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt
@@ -12,6 +12,7 @@
                   "types/match-expanders.rkt"
                   "types/kw-types.rkt"
                   "types/utils.rkt"
+                  "types/resolve.rkt"
                   "utils/utils.rkt"
                   "utils/tc-utils.rkt"
                   "env/type-name-env.rkt")
@@ -386,8 +387,8 @@
     ;; if we know how it was written, print that
     [(? Rep-stx a) (syntax->datum (Rep-stx a))]
     [(Univ:) 'Any]
-    ;; names are just the printed as the original syntax
-    [(Name: id _ _ _) (syntax-e id)]
+    ;; struct names are just printed as the original syntax
+    [(Name: id _ _ #t) (syntax-e id)]
     ;; If a type has a name, then print it with that name.
     ;; However, we expand the alias in some cases
     ;; (i.e., the fuel is > 0) for the :type form.
@@ -400,7 +401,8 @@
               ;; if we still have fuel, print the expanded type and
               ;; add the name to the ignored list so that the union
               ;; printer does not try to print with the name.
-              (type->sexp type (append names ignored-names)))]
+              (type->sexp (if (Name? type) (resolve type) type)
+                          (append names ignored-names)))]
            [else
             ;; to allow :type to cue the user on unexpanded aliases
             (when (Union? type) ; only unions can be expanded