Adding kinds to Typed Racket makes it an even more attractive alternative to purer functional languages.

What makes racket less pure? Have been looking for a typed lisp to play with for quite some time and the choices have always been either racket or clojure.