[shwestrick]

I think laziness would be a distraction here. The idea of encoding effects as "action values" is relevant and interesting, even under eager evaluation.

Certainly laziness has influenced a lot of things in the world of FP. But it's really helpful to distinguish laziness from FP, especially considering the problems that laziness introduces.