2 ms·

Yeah, if you impose that effects must only be used to enforce code correctness, then only code that is hard to write correctly will benefit.