Hacker News Reader

I wonder if someone wants to port the type checker of Typed Racket over to Clojure?

The type checker would have to play nice with java types. Does the racket type checker support inheritance and interfaces/protocols?

FRTime first please!