Consider using ST monad in the lower level array APIs

[harendra-kumar]

Using ST we can use thread specific mutable state, and ST can be converted to IO using RealWorld.