newArray_ allocates an array full of garbage.
> import Control.Monad.ST
> import Data.Array.ST
> import Data.Array
>
> tickle :: Int
> tickle = runST (do {
> x <- newArray_ (0,100) ;
> (readArray :: STUArray s Int Int -> Int -> ST s Int) x 3
> })