Then it becomes a matter of declaring what is impu...
# random
f
Then it becomes a matter of declaring what is impure in a mostly pure context, instead of the other way around.