Ahoj, díky za komentář. Jestli to chápu správně, tak píšeš, že takto můžu použít jako případný prvek pole vpodstatě jakýkoliv typ, jen tím, že mu zaregistruju virtual_ancestor. Jenže můj cíl je hlavně to, aby ty prvky pole byly immutable. Kdybych nechal tu volnost vrazit tam cokoliv, tak tam brzo někdo (třeba já) vrazí objekt, který jde modifikovat, to nezdetekuju, a o změnách se nedozvím.
Uznávám, že to mi ten TypedHotList momentálně nesplňuje, je to taková pracovní verze.
