0. #lang typed/racket
1.  
2. (define f
3.   (plambda: (a b) ([v : (-> a b)])
4.     (let* ([f1 : (-> a a) (lambda (x) x)]
5.            [f2 : (-> b b) (lambda (x) x)]
6.            [p : (Pairof (-> a a) (-> b b)) (cons f1 f2)])
7.       p)))
8.  
9. (f add1)

=>

- : (Pairof (-> Nothing Nothing) (-> Integer Integer))

'(#<procedure:f1> . #<procedure:f2>)