In a language with an effect system, presumably modifying the DOM would be an effect. Maybe some effects should have call sites annotated, like ‘async’, and ot

In a language with an effect system, presumably modifying the DOM would be an effect. Maybe some effects should have call sites annotated, like ‘async’, and others should not, like DOM manipulation? It seems like an API design issue. What do you want to call out for extra attention?