title: Verify the type of a lambda expression
body: <p>I need to verify the type for the lambda expression:
  <img src="https://i.stack.imgur.com/5zYLX.gif" alt="lambdaexp"></p>
  
  <p>My method gives me: 
  <img src="https://i.stack.imgur.com/mSGXp.gif" alt="result"></p>
  
  <p>Im trying to define it in Haskell (on Hugs) like this: </p>
  
  <pre><code>h= \f x -&gt; f (f x)
  </code></pre>
  
  <p>When i call the :type comamnd it gives me:</p>
  
  <pre><code>(a -&gt; a) -&gt; a -&gt; a
  </code></pre>
  
  <p>Is mi function correctly defined in Haskell?, or my method gives me a wrong result?</p>