> So much time spent for removing one State variable from a few function calls. much more time will be saved when refactoring from now on. imagine: most funs will now have signature: -spec a(pid()) -> ok. and most function bodies will look like: check(Pid), update(Pid), return(Pid). it will be a breeze now.