Is it possible to do Dependent Types in Typed Racket?
Dependent Types in Racket are being worked on by Andrew Kent at Indiana University. 

There is a set of slides. There is a talk. 

Of interest, this potentially also impacts Typed Clojure, which is strongly modeled on Typed Racket.