Each service module then defines its own HasService class, internal state.

If a service depends on some other it will be reflected in imports.

Application env type is then built by combining and mixing service states and adding instances.