I wonder whether this error is an example of the language being defined more restrictively than required.&nbsp; What is the reason that I get these results?<br><br>type a&nbsp; = int -&gt; one -&gt; int and one = Unused | One of a;;<br>type b = int -&gt; b -&gt; int<br><br>type a is accepted while type b is not. (b gives "The type abbreviation b is cyclic"&nbsp; However, in the uses that I intended, there won't be any actual difference between the two.<br><br>I'd appreciate an explanation about why there is difference&nbsp; between a and&nbsp;&nbsp; b.<br><br>Thanks<br><br>Bill Smith<br>