если явно эту функцию вписали в определение подкласса.




а что за проблема то?

вот Эрик Полл даже в рамочку это положил.
Subtyping and Inheritance for Inductive Types
http://agp.hx0.ru/arts/durham97.pdf

rt123Это условие/требование может быть ослаблено для того,
чтобы расширить спектр возможных специализаций/назначений метода.


PS
Слово "уточнение" здесь имо не подходит.
да сужается область определения, а не расширяется

автор
the main insight of the object-based model is that class-based notions need tot be
assumed, but instead can be emulated by more primitive notions.
Moreover, these more primitive notions can be combined in more flexible ways than
in a strict class discipline.


главным свойством модели, основанной на объектах, есть ненужность
понятий, основанных на классах, которые можно заменять более простыми понятиями.
И, более того, эти простые понятия можно использовать более гибкими способами
чем при строгом отношении к классам.


?

о переводе.
а другого хорошего перевода нету?

done