>> I would even argue that dynamic typing can encourage worse design

I meant static typing... By making it easy to keep track of interfaces/types, it creates incentives to create more different kinds of abstractions.