<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Generally, when setting a type signature, may it happen that more than<br>
one type is possible? If there are multiple possibilities, does there<br>
exist the unique most special of them?<br></blockquote><div><br>There are indeed examples of functions with different most general types which are not instances of each other. For instance, take a look at the example beginning of section 2 of <br>

<a href="http://research.microsoft.com/pubs/79812/outsidein-icfp09.pdf">http://research.microsoft.com/pubs/79812/outsidein-icfp09.pdf</a>.<br><br>Cheers,<br>Dan<br></div></div>