world as value

[Zuurbier, E. - AMSXE]

This can't be the end of the discussion.

I noticed that in this 'world as value' thread some people started scribling
Haskell monadic do-syntax IO examples.
Indeed, where the world is by design implicit, and cannot be referred to
through a variable in the program text. Then I wondered whether 'world as
value' implies 'explicit environment passing'. Apparently not. Or does it? I
am confused.

Regards,
Erik Zuurbier