Things that take closures should support both paradigms, since pure function closures that cannot abort can enable certain kinds of compiler optimizations like

Things that take closures should support both paradigms, since pure function closures that cannot abort can enable certain kinds of compiler optimizations like vectorizing more easily.