Параметры перевода денег - тоже эффект, вряд ли вы хотите зачислить средства на карту, номер которой не обновился, пушо в гуе сообщение не дошло
Я согласен, мы не можем гарантировать компилятором, что во время прихода ответа от сервера дерево компонентов будет содержать нужный лист.
В рамках TEA эта проблема не решается, её придётся гарантировать логикой и проверять тестами. Но это сделать в рамках TEA немного легче, ежели в некоторых других моделях, потому что компоненты полностью композятся. (Не "композятся", как в MVC, а композятся :-))
Объехать эту проблему можно в FRP, когда сообщение будет содержать (не физически конечно, а описательно) новый граф компонентов, который нужен для обработки данного сообщения.