3 ms·

The mechanics of that are easily captured with a monad, but baking it into the natural semantics of the language would be a neat experiment, I agree.