I think there should be, sort of, a volume knob for types. Where the programmer can choose the level. We might have a much lower default than Haskell. But we should be able to turn it up.
– Andrew McVeigh, at Clojure eXchange 2017
In the talk, he demos a modest type inferencing library providing IDE support in Emacs.