[1718627440]

Yeah, but you can totally choose to not allow that in your software.

[recursive]

That's true. Your argument about how short parameter extraction can be gets a little weaker though if only solve it for the easy cases. Code can be shorter if it solves a simplified version of the problem statement.