NOTE: let/cc in typed/racket

let/cc's type cannot be inferred by typed/racket, but the type of it is always (-> T Void) for a function returning T, so one should write

(: foo : -> T)
(define (foo)
  (let r : T
    (r t)))