So what? The point is to make it easy to program imperatively (with effects, where relevant) while simultaneously reclaiming the ability to check for correctne

So what? The point is to make it easy to program imperatively (with effects, where relevant) while simultaneously reclaiming the ability to check for correctness and maintain laziness by default. What's so good about implicit sequential evaluation? Shouldn't the effect ordering be explicit? Isn't explicit better than implicit?