There might be pockets in a software design where it's appropriate to worry about c*variant behavior. However, if you end up with a brittle class hierarchy that

There might be pockets in a software design where it's appropriate to worry about c*variant behavior. However, if you end up with a brittle class hierarchy that affects modularisation, dependency management or reuse then I would agree that using type relationships to model your domain is a losing battle.