diff --git a/racket/collects/racket/contract/private/orc.rkt b/racket/collects/racket/contract/private/orc.rkt
index b8455f226c..dcb8bfc566 100644
--- a/racket/collects/racket/contract/private/orc.rkt
+++ b/racket/collects/racket/contract/private/orc.rkt
@@ -70,8 +70,7 @@
            [(null? rst) fst-pred]
            [else 
             (let ([r (loop (car rst) (cdr rst))])
-              (procedure-specialize
-               (λ (x) (or (fst-pred x) (r x)))))])))]))
+              (λ (x) (or (fst-pred x) (r x))))])))]))
 
 (define (single-or/c-late-neg-projection ctc)
   (define c-proj (get/build-late-neg-projection (single-or/c-ho-ctc ctc)))