This works
#lang racket (begin-for-syntax (define (foo n) (+ n 3)))
So I would also expect this to work
#lang typed/rac