doall , безусловно, подходит для принудительной ленивой оценки.
Еще одна полезная вещь, которую нужно помнить, это то, что Reduce не ленив. Поэтому это может быть очень полезно в больших вычислениях для обеспечения того, чтобы промежуточные результаты оценивались и сводились к одному выходному значению, прежде чем вычисления продолжатся.