#lang typed/racket

請問該如何寫以下函數的類型簽名
(: U (∀(a) (Rec x (-> x a)))) ; 這行不會報錯，但不知道有沒有寫對。
(define U (lambda (f) (f f)))

這個我就不知道從何下手
(U
 (λ(length)
   (λ(l)
     (cond [(null? l) 0]
           [else (add1 ((length length)
                        (cdr l)))]))))