Отличный материал 👍
@ufocoder использование ReadOnly типов (иммутабельных данных) решает проблему с Type variance (т.е. можно безопасно присваивать подтип, не опасаясь, что его будут мутировать)
Но и ReadOnly в TS "сломано" из-за обратной совместимости 😢

Вот тут еще больше наездов (и обходных маневров) для TS