newArr
ST
newIORef
IO
newVar
ST