In practice this just doesn't happen because you've composed a bunch of pure functions with various branches within them.
replyYou lose the ability to log "why" some effect is happening.
Eh sure. But you can always collect/carry decisions in something like an Either. When using arrows or your own monadic bindings it is even possible to abstract this away from view.
reply