But static typing != static typing. There are many different degrees of type safety, some much more strict than others. It is often about more than just "findin

But static typing != static typing. There are many different degrees of type safety, some much more strict than others. It is often about more than just "finding the right type," as you say. How much does the compiler require features of a type to be implemented, even if they are not used, in order for it to be a certain type, or just use one featureset of a protocol/trait that it adopts? You can easily write types that eventually require a large amount of boilerplate in some languages to just do something fairly basic that is not as complex as what the compiler asks you to do.