There's Async Await. Which makes asynchronous code look like regular blocking code. But the calling code needs to know about it. I recognise your concern: asyn

There's Async Await. Which makes asynchronous code look like regular blocking code. But the calling code needs to know about it. I recognise your concern: asynchronicity is infectious if it's manifested as monads. Which sucks. Client code needs to know whether the code it is calling is blocking or asynchronous. Maybe effect systems can trace through code whether it is 'infected' with blockingness. Without any change showing in the intermediary source code. The blockingness/non-blockingness only manifesting itself at the top of the call graph.