[comex]

Yep, if you have linear types then you could model IO with functions that explicitly accept and return the world.