[Haskell-cafe] Theory about uncurried functions

[Henning Thielemann]

On Tue, 3 Mar 2009, Peter Verswyvelen wrote:

> Now, does a similar theory exist of functions that always have one
> input and one output, but these inputs and outputs are *always*
> tuples? Or maybe this does not make any sense?

I don't think one can forbid currying. It's just a question, whether 
people use it commonly or not. But that was already said in this thread.

Somehow related:
    http://haskell.org/haskellwiki/Composing_functions_with_multiple_values