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.