0. #lang typed/racket
1.  
2. (: cps-ish (∀ (Ret0 Ret1) (-> Boolean Ret0 Ret1
3.                               (-> Ret0 Ret0) (-> Ret1 Ret1)
4.                               (U Ret0 Ret1))))
5. (define (cps-ish b x0 x1 tail0 tail1)
6.   (if b (tail0 x0) (tail1 x1)))
7.  
8. (cps-ish #t 'hello "world" (lambda (x) x) (lambda (x) x))
9.  
10. (define #:∀ (Ret0 Ret1)
11.   (cps-ish* (b : Boolean) (x0 : Ret0) (x1 : Ret1)
12.             (tail0 : (-> Ret0 Ret0)) (tail1 : (-> Ret1 Ret1)))
13.   : (U Ret0 Ret1)
14.   (define (helper (b : Boolean) (x0 : Ret0) (x1 : Ret1)) : (U Ret0 Ret1)
15.     (if b (tail0 x0) (tail1 x1)))
16.   (helper b x0 x1))
17.  
18. (cps-ish* #f 'hello "world" (lambda (x) x) (lambda (x) x))

=>