No, that's not the point at all. We are not replacing an anonymous lambda with a named function call; rather, we are replacing an anonymous lambda with a specif

No, that's not the point at all. We are not replacing an anonymous lambda with a named function call; rather, we are replacing an anonymous lambda with a specific (finite, inspectable, small) piece of data. Then, later on, we decide what to do with that small piece of data: often, we replace it with a genuine function call, but sometimes (e.g. in the "testability" section) we might just decide to inspect it instead.