That's exactly how Haskell's IO monad works (albeit a little simplified)