Thoughts
There's a distinction between a function that delegates its continuation to another function, and one that doesn't. I wonder if it's
possible to formalize this and reject it. It's almost always incorrect.
I guess the rule is: if the last thing that your function does is call a different function, you should inline that call. But there are exceptions.