title: Meaning of (\x y z -> x y z) in Haskell
body: <p>In understand the meaning and the type of <code>(\x y z -&gt; x+y+z)</code> for example. The type of <code>(\x y z -&gt; x y z)</code>is <code>(t1 -&gt; t2 -&gt; t3) -&gt; t1 -&gt; t2 -&gt; t3</code>. But what does that mean and why are now round brackets in the type?</p>