title: uncurry and curry functions
body: <p>I´m quite new to lambda-calculus and I´m trying to do the following exercise, but I´m not able to resolve it.</p>
  
  <p><code>uncurry(curry E) = E</code></p>
  
  <p>Could anyone help me?</p>