Comment by saviorand

Function call always returns, and to one single caller, whereas effects can choose not to "return" at all, resume multiple times, etc