Did you mean here "it's still possible to define _lazy_ arguments"? The duality of !/~ makes sense, indeed.