I see where you are going. But I'm sure we can agree that both concrete types and protocols would be handled by a "type checker". If ever there were a language

I see where you are going. But I'm sure we can agree that both concrete types and protocols would be handled by a "type checker". If ever there were a language where you'd want to be looking at protocols and not concrete types most of the time, it would be Python.