The novel approach is to allow actions to be run now (in the IO monad) but defer the receipt of their results until later.
最新颖的方法就是允许活动运行在现在（在 IO 单子中）但将它们结果的接收推迟到之后。