diff --git a/collects/tests/typed-scheme/succeed/unholy-terror.ss b/collects/tests/typed-scheme/succeed/unholy-terror.ss
index 34aaa19b..04de86c2 100644
--- a/collects/tests/typed-scheme/succeed/unholy-terror.ss
+++ b/collects/tests/typed-scheme/succeed/unholy-terror.ss
@@ -22,12 +22,6 @@
               (lambda: ([x : Number] [y : Number]) (/ x y))))
  3 4)
 
-(plambda: (a ...) [ys : (a ... a -> Number) *]
-          ((inst map Number (a ... a -> Number)) (ann (error 'fail) ((a ... a -> Number) -> Number)) ys))
-
-(plambda: (a ...) [ys : (a ... a -> Number) *]
-          (map (ann (error 'fail) ((a ... a -> Number) -> Number)) ys))
-
 (apply (plambda: (a ...) [ys : (a ... a -> Number) *]
          (lambda: [zs : a ... a]
                   (map (lambda: ([y : (a ... a -> Number)])
@@ -35,7 +29,30 @@
                        ys)))
        (list + - * /))
 
-(apply (plambda: (a ...) [ys : (a ... a -> Number) *]
-         (lambda: [zs : a ... a]
-            #{(error 'foo) :: (Listof Number)}))
-       (list + - * /))
\ No newline at end of file
+((plambda: (a ...) [ys : (a ... a -> Number) *]
+   (lambda: [zs : a ... a]
+     (map (lambda: ([y : (a ... a -> Number)])
+            (apply y zs))
+          ys)))
+ (lambda: ([x : Number] [y : Number]) (+ x y))
+ (lambda: ([x : Number] [y : Number]) (- x y))
+ (lambda: ([x : Number] [y : Number]) (* x y))
+ (lambda: ([x : Number] [y : Number]) (/ x y)))
+
+(((plambda: (a ...) [ys : (a ... a -> Number) *]
+    (lambda: [zs : a ... a]
+      (map (lambda: ([y : (a ... a -> Number)])
+             (apply y zs))
+           ys)))
+  (lambda: ([x : Number] [y : Number]) (+ x y))
+  (lambda: ([x : Number] [y : Number]) (- x y))
+  (lambda: ([x : Number] [y : Number]) (* x y))
+  (lambda: ([x : Number] [y : Number]) (/ x y)))
+ 3 4)
+
+((plambda: (a ...) [ys : (a ... a -> Number) *]
+   (lambda: [zs : a ... a]
+     (map (lambda: ([y : (a ... a -> Number)])
+            (apply y zs))
+          ys)))
+ + - * /)
\ No newline at end of file