Update arrays & monad