>>13
Wouldn't taking world as an implicit argument require a lot of resources(memory), and it may not even be possible for things which can't be read by the app(hardware state, internal OS structures, and so on). Does it just assume taking world as an argument and isolate whatever sideeffects are generated from the rest of the application?