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