diff --git a/collects/tests/typed-scheme/succeed/ann-map-funcs.ss b/collects/tests/typed-scheme/succeed/ann-map-funcs.ss
new file mode 100644
index 0000000000..d578443164
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/ann-map-funcs.ss
@@ -0,0 +1,11 @@
+#lang typed-scheme
+
+(: map-with-funcs (All (b a ...) ((a ... a -> b) * -> (a ... a -> (Listof b)))))
+
+(define (map-with-funcs . fs)
+ (lambda as
+   (map (lambda: ([f : (a ... a -> b)])
+          (apply f as))
+        fs)))
+
+(ann (map-with-funcs + - * /) (Integer Integer * -> (Listof Number)))
\ No newline at end of file