<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html; charset=ISO-8859-1"
 http-equiv="Content-Type">
  <title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
Hello Alp,<br>
<br>
thanks for explaining. As so often things become obvious in hindsight :)<br>
<br>
G&uuml;nther<br>
<br>
Am 29.03.10 15:16, schrieb Alp Mestanogullari:
<blockquote
 cite="mid:cbe39dfc1003290616u602ef67k4cbf6e067cdbddb4@mail.gmail.com"
 type="cite">a -&gt; b -&gt; c is a -&gt; (b -&gt; c)
  <div>domain : a</div>
  <div>codomain : b -&gt; c (which is a valid Haskell type, of the
functions from b to c)<br>
  <br>
  <div class="gmail_quote">2010/3/29 G&uuml;nther Schmidt <span dir="ltr">&lt;<a
 moz-do-not-send="true" href="mailto:gue.schmidt@web.de">gue.schmidt@web.de</a>&gt;</span><br>
  <blockquote class="gmail_quote"
 style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi,<br>
    <br>
I can easily see how one identifies the domain and co-domain of a unary
function.<br>
    <br>
How would the domain of a function be expressed that takes more than
one argument and arguments of different type?<br>
    <br>
G&uuml;nther<br>
    <br>
    <br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
    <a moz-do-not-send="true" href="mailto:Haskell-Cafe@haskell.org"
 target="_blank">Haskell-Cafe@haskell.org</a><br>
    <a moz-do-not-send="true"
 href="http://www.haskell.org/mailman/listinfo/haskell-cafe"
 target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
  </blockquote>
  </div>
  <br>
  <br clear="all">
  <br>
-- <br>
Alp Mestanogullari<br>
  <a moz-do-not-send="true" href="http://alpmestan.wordpress.com/">http://alpmestan.wordpress.com/</a><br>
  <a moz-do-not-send="true" href="http://alp.developpez.com/">http://alp.developpez.com/</a><br>
  </div>
</blockquote>
<br>
</body>
</html>