@neauoire that sounds a bit like the Haskell IO monad. Coincidence?