change this sig to `User user`