> they should also argue functions should only take one argument, and use tuple destructuring to break it apart within the function

You say that as an hypothetical, but that's exactly how code is written in Standard ML; and the rest of the ML language family supports it to some degree, although they lean more on currying, like Haskell.