Do we have `to_json` defined on the `User` class yet?