Можешь привести пример ситуации, где применяется принцип Лисков для замены одного типа другим без нарушения логики программы?