But in imperative OO style you're touching IO all over the place - this is why people complain about Task/Promise proliferation. And especially if you have some

But in imperative OO style you're touching IO all over the place - this is why people complain about Task/Promise proliferation. And especially if you have something like interfaces where some implementation could require IO while other might not. In my experience you can't really use it to narrow down anything.