newSTArray :: Ix i => (i, i) -> e -> ST s (STArray s i e) newSTArray = newArray test :: String test = runST $ do array <- newSTArray (0, 10 :: Int) (0 :: Int) b <- readArray array 11 return $ show b