Replace reactivity with MonadDo