Is there a difference between type signatures a -> b -> a and c -> a -> c? : <p>This question is a theoretical question about Haskell functions which can take arguments of any type. Is there a difference between the way functions with the type signatures of </p>

<pre><code>a -&gt; b -&gt; a 
</code></pre>

<p>and </p>

<pre><code>c -&gt; a -&gt; c 
</code></pre>

<p>are instantiated?
Any help is appreciated.</p>
