[racket] typed racket and new racket languages?

hi,

to what degree can one leverage typed racket for new languages in the
racket ecosystem? tho i read that even if there are ways to use it,
there be dragons in terms of getting the new language just right wrt
type enforcement.

thanks.