The verbosity is the point! I want functions that interact with a specific expectation of global state to clearly mark that in their type, and the least complic

The verbosity is the point! I want functions that interact with a specific expectation of global state to clearly mark that in their type, and the least complicated way to do that is my proposal. I hope someone can invent something more compelling, but my proposal is still an improvement of the status quo.