IMHO you are conflating subtyping and subclassing.

The fact that something is a list carries an implicit knowledge that you can iterate it, even if the concepts of List and Iterable are just interfaces.