Types help to encourage readable code. If it's hard to add type annotations to a function then the function is too complicated. I've seen this with wildly polym

Types help to encourage readable code. If it's hard to add type annotations to a function then the function is too complicated. I've seen this with wildly polymorphic functions that needed dozens of overloads to properly type... which means that engineers need to hold all that complexity in their heads