На TS никто не наезжает, потому что каждый думает "да пусть там хоть какой огород в типах - мы any повтыкаем, если что, и париться не будем!"
А вот всякие type families в Haskell - это ай-яй-яй, академия и башня из слоновой кости! Потому что а как же работать-то, когда any нет?