diff --git a/test/meta.rkt b/test/meta.rkt
index 0de4fa5..f813ccb 100644
--- a/test/meta.rkt
+++ b/test/meta.rkt
@@ -21,3 +21,6 @@
 > (+ 2 0)
 - : Integer [more precisely: Positive-Byte]
 2
+> (map add1 '(1 2 3 4))
+- : (Listof Positive-Index) [more precisely: (Pairof Positive-Index (Listof Positive-Index))]
+'(2 3 4 5)
diff --git a/test/test.rkt b/test/test.rkt
index 0cbd23f..0a692ca 100644
--- a/test/test.rkt
+++ b/test/test.rkt
@@ -1,4 +1,4 @@
-#lang repltest typed/racket
+#lang repltest racket
 ;; This file has the name "test", but it shouldn't cause any conflicts in module
 ;; names
 (define x 0)