Migrating constrained serviceOf