From freeing \leftarrow. to better for and unification of direct and monadic style

Excellent, thanks, @rssh. If that is possible at the expression level using function application and the suspend CPS, then this satisfies what we are looking for in PRE-SIP: Suspended functions and continuations