(Not to a level something like Typescript has it, but I'll argue that's a win. Typescript inferred typing can be hard to follow.)
