Typed Clojure can override Java methods with nilable-param and non-nil-return.It would be nice to also be able to customise Java fields.
Hasn't been needed.