I would expect you can.

lexilambda created Typed Racket on top of Racket. https://github.com/racket/typed-racket