No, Liskov substitution is much more abstract level, if you go with physical interface definition it does not work at all. It is not about attaching things but

No, Liskov substitution is much more abstract level, if you go with physical interface definition it does not work at all. It is not about attaching things but about type hierarchy. Thing you describe does not account for Covariance and Contrvariance and then it also goes into generic types which also huge abstraction which does not fit in physical world.