Вот примерно такой пример кода на бенче и был, причем в мономорфном наследовании.
Оттого, собственно и спрашиваю.
Вроде теперь ясно, это чтобы хитро управлять инициализацией какого нибудь класса вплоть до самых далеких предков, если какая нибудь (нестандартная) надобность возникнет.
Только както это очень ненавязчиво происходит и неявно (для большинства наверно) программеров. Путаницы больше одним словом.