Generated: src/Domain/UserService.php