Input/Download: Pull `exists` into the branches

This should be the clearest expression of the logic.
I follow the hlint `when . not` -> `unless` suggestion here, although
personally I find `when (not exists)` easier to follow.