1) I want my libraries to be typed all the way down.
2) Improving the implementation of typed racket is harder/less likely than fixing the macro systems of Rust and Haskell.
3) Network effects of those two languages.