title: What Justification for the type of f x = f x in Haskell is there?
body: <p>Haskell gives <code>f x = f x</code> the type of <code>t1 -&gt; t</code>, but could someone explain why?</p>
  
  <p>And, is it possible for any other, nonequivalent function to have this same type?</p>