`a User` and please use literals here