But what is left to "solve" here? Functions already work pretty well for what they do.

But any abstraction runs the risk of revealing itself as a leaky abstraction, not worth the overhead. That's been my experience with functions.