Re-generating the monadic interface for all services