Hello Alp, thanks for explaining. As so often things become obvious in hindsight :) Günther Am 29.03.10 15:16, schrieb Alp Mestanogullari:

a -> b -> c is a -> (b -> c) domain : a codomain : b -> c (which is a valid Haskell type, of the functions from b to c)

2010/3/29 Günther Schmidt mailto:gue.schmidt@web.de>

Hi,

I can easily see how one identifies the domain and co-domain of a unary function.

How would the domain of a function be expressed that takes more than one argument and arguments of different type?

Günther

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org mailto:Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/