What are you talking about? Function arguments are implicit in concatenative languages. Remember: when you write 1 2 + You actually write the composition

What are you talking about? Function arguments are implicit in concatenative languages. Remember: when you write 1 2 + You actually write the composition of three functions, which take a stack as input, and return a stack as output. (Well, because the computation is single threaded, you can also say that `1`, `2`, and `+` are procedure that modify a global shared stack). This has little to do with reversed Haskell code.