Monad updates for List