Update VecMonad