I should have worded my question better.  The MArray interface is implemented in both the ST and IO monad.  A state monad seems like a logical place for mutable arrays.  However, I don't understand the motivation for implementing it in IO.  Were mutable arrays added to IO because it would be difficult to write code that does both IO and manipulates arrays otherwise?