Are you referring to how an online document or a file might change so that Haskell program might have a different output given the same URL as an input? As @wi

Are you referring to how an online document or a file might change so that Haskell program might have a different output given the same URL as an input? As @willtim explains, monads were applied to PL theory to model effects. The IO monad models the effect of state, i.e. imperative programs. The type `IO a` is essentially a "wrapper" or "alias" for the type `RealWorld -> (RealWorld, a)`. You should think of the entire world as being the input to a Haskell program. Haskell does have impure backdoors into IO such as unsafePerformIO, but the IO monad itself is perfectly pure. P.S. For more information, check out the work of Eugenio Moggi [0], who started using monads to give semantics to programming languages, and Philip Wadler [1], who applied the idea on a programmer-facing level. [0] https://person.dibris.unige.it/moggi-eugenio/ftp/ic91.pdf https://person.dibris.unige.it/moggi-eugenio/ftp/ic91.pdf [1] https://groups.csail.mit.edu/pag/OLD/reading-group/wadler-monads.pdf https://groups.csail.mit.edu/pag/OLD/reading-group/wadler-mo...