Re: so it's...
The Clean language even has an explicit World type and interactive programs are functions of type World -> World. The world is unique though, the compiler will not let you fork the world in two. :-)
https://cloogle.org/doc/#CleanRep.2.2_6.htm;jump=_Toc311798037