modifyVolatileStorage :: Storage
                      -> (VolatileStorageState -> ( VolatileStorageState, b ) )
                      -> IO b
modifyVolatileStorage (Storage (_, ref)) =
    atomicModifyIORef' ref
modifyVolatileStorage :: Storage
                      -> (VolatileStorageState -> ( VolatileStorageState, b ) )
                      -> IO b
modifyVolatileStorage (Storage (_, ref)) =
    atomicModifyIORef' ref
modifyVolatileStorage (Storage (_, ref)) =
    atomicModifyIORef' ref