title: Writing an equivalent functions by leveraging currying
body: <p>i am studying Haskell and I do not understand why the following two implementation are not equivalent. Rather why I get the error message if I try to load it in REPL.</p>
  <pre><code>addStuff :: Integer -&gt; Integer -&gt; Integer
  addStuff x y = x + y + 5
  
  addStuff_ :: Integer -&gt; Integer -&gt; Integer
  addStuff_ x = x + (\i -&gt; i + 5)  
  </code></pre>
  <p>The erro I get is the following</p>
  <pre><code>   • Couldn't match expected type ‘Integer’
                    with actual type ‘a0 -&gt; a0’
      • The lambda expression ‘\ i -&gt; i + 5’ has one argument,
        but its type ‘Integer’ has none
        In the second argument of ‘(+)’, namely ‘(\ i -&gt; i + 5)’
        In the expression: x + (\ i -&gt; i + 5)
  </code></pre>