diff --git a/graph-lib/graph/map.rkt b/graph-lib/graph/map.rkt
index 1bdf77da..0f936097 100644
--- a/graph-lib/graph/map.rkt
+++ b/graph-lib/graph/map.rkt
@@ -292,22 +292,22 @@
                  : (Listof Number)
                  '(1 2 3))
   (check-equal?: (map: cdr '((1 b x) (2 c) (3 d)))
-                 : (Listof Number)
+                 : (Listof (Listof Symbol))
                  '((b x) (c) (d)))
   (check-equal?: (map: car (map: cdr '((1 b x) (2 c) (3 d))))
-                 : (Listof Number)
+                 : (Listof Symbol)
                  '(b c d))
   (check-equal?: (map: (compose) '((1 b x) (2 c) (3 d)))
-                 : (Listof Number)
+                 : (Listof (Listof (U Number Symbol)))
                  '((1 b x) (2 c) (3 d)))
   (check-equal?: (map: (compose car) '((1 b x) (2 c) (3 d)))
                  : (Listof Number)
                  '(1 2 3))
   (check-equal?: (map: (compose cdr) '((1 b x) (2 c) (3 d)))
-                 : (Listof Number)
+                 : (Listof (Listof Symbol))
                  '((b x) (c) (d)))
   (check-equal?: (map: (compose car cdr) '((1 b x) (2 c) (3 d)))
-                 : (Listof Number)
+                 : (Listof Symbol)
                  '(b c d))
   (check-equal?: (map: (compose add1 car) '((1 b x) (2 c) (3 d)))
                  : (Listof Number)