in reply to Variable Abstraction with strict
... what is the correct way of doing this?
The answer to that question depends on your answer to the question "What problem are you trying to solve?"