No subject

s,<br>
for some s, but there is nothing constraining &#39;a&#39; further.<br>
Any &#39;a&#39; fulfilling the constraint &#39;MArray a Int (ST s)&#39; wil=
l do.<br>
Therefore we have to fix &#39;a&#39; to some type, e.g. &#39;STArray s&#39;=
, but<br>
&#39;STUArray s&#39; would work too, in this case.<br>
</blockquote></div><br></div>

--14dae9340989b6b0b304c0e07e41--