[tgv]

ISWIM isn't lazy, I think, nor fully functional.

[ModernMech]

Right, but it’s still the root of the functional branch of the PL family tree. ISWIM to ML is mostly a matter of removing the few imperative features from ISWIM. Once you do that, lazy execution comes naturally.