Eager Haskell основан на идее спекулятивного исполнения. Последние версии GHC поддерживают своего рода спекулятивное выполнение с механизмом прерывания, позволяющим отказаться от неудачного выбора, называемого оптимистическим исполнением.
В информатике спекулятивное выполнение - это выполнение кода до того, как можно будет убедиться, нужен ли результат.