Но вообще пуш-бейзед модель и императивность вместе это что-то странное.
Если у тебя пуш-бейзед, то есть ожидаемое целевое состояние, а это декларативностью лучше описывается.
Императивность логична, если у тебя есть события и нужно на них реагировать