<div class="gmail_quote">
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0px 0px 0px 0.8ex; padding-left: 1ex;">
<div>IO(U)Arrays are only one variant of mutable Array, there are also ST(U)Arrays,<br>which are often preferred.<br></div></blockquote></div>
<div>&nbsp;</div>
<div>I should have worded my question better.&nbsp; The MArray interface is implemented in both the ST and IO monad.&nbsp; A state monad seems like a logical place for mutable arrays.&nbsp; However, I don&#39;t understand the motivation for implementing it in IO.&nbsp; Were mutable arrays added to IO because it would be difficult to write code that does both IO and manipulates arrays otherwise?<br>

</div>