ClosureScript: Type Inference in JavaScript?

type inference has existed in the ClosureScript compiler for a long time, but you're enhancing it or extending it recently. A lot of times where you'll see type hints coming into play is for predicates. People will type into predicate to say, hey, when you call this function, it returns aBoolean. You can tell that, hey, this function can only return a Boolean. So once we had that in there, all of my mind started spinning like, what else can we do with types now?