For example, the Racket compiler does not need to know about the type specializing optimizations that Typed Racket makes possible.