Let's also try out the abstracted version of this function.

collects/tests/typed-scheme/succeed/unholy-terror.ss

@@ -1,6 +1,5 @@
 #lang typed-scheme
 
-
 (apply (plambda: (a ...) [ys : (a ... a -> Number) *]
          (lambda: [zs : a ... a]
             (map (lambda: ([y : (a ... a -> Number)])
@@ -55,4 +54,12 @@
      (map (lambda: ([y : (a ... a -> Number)])
             (apply y zs))
           ys)))
- + - * /)
+ + - * /)
+
+(: 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)))
+(map-with-funcs + - * /)