Migrating the RED class as a service provider though the package system laravel employs