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 abstrac

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.