Каковы сходства и различия между возможностями типизации в Typed Racket и возможностями типизации в Clojure?

В Clojure есть несколько интересных функций для представления типов, включая, помимо прочего, deftype, defprotocol, reify и extend.

Каковы сходства и различия между возможностями типизации в Typed Racket и возможностями типизации в Clojure?