Вот и получается, что в обновлении 21.2.0 декларируется возможность убрать мерж, типа затипизировано. А на самом деле типизация валится при любом несовпадении с приведенным в обновлении примере. х)
чтобы работал вывод типов как в merge нужен ещё один дженерик в оверлоаде сэмпла, так работает тайпскрипт