diff --git a/collects/typed-scheme/types/printer.ss b/collects/typed-scheme/types/printer.ss
index d9a3ba972a..dbc9b84352 100644
--- a/collects/typed-scheme/types/printer.ss
+++ b/collects/typed-scheme/types/printer.ss
@@ -34,9 +34,13 @@
   (match c
     [(FilterSet: thn els) (fp "(~a | ~a)" thn els)]
     [(NoFilter:) (fp "-")]
+    [(NotTypeFilter: type (list) (? syntax? id)) (fp "(! ~a @ ~a)" type (syntax-e id))]
     [(NotTypeFilter: type (list) id) (fp "(! ~a @ ~a)" type id)]
+    [(NotTypeFilter: type path (? syntax? id)) (fp "(! ~a @ ~a ~a)" type path (syntax-e id))]
     [(NotTypeFilter: type path id) (fp "(! ~a @ ~a ~a)" type path id)]
+    [(TypeFilter: type (list) (? syntax? id)) (fp "(~a @ ~a)" type (syntax-e id))]
     [(TypeFilter: type (list) id) (fp "(~a @ ~a)" type id)]
+    [(TypeFilter: type path (? syntax? id)) (fp "(~a @ ~a ~a)" type path (syntax-e id))]
     [(TypeFilter: type path id) (fp "(~a @ ~a ~a)" type path id)]
     [(Bot:) (fp "Bot")]
     [(Top:) (fp "Top")]