.provide(layer) to make Effect services available to downstream procedures.
services.ts
procedure.ts
Missing services are type errors
If a handler yields a service that was not provided, the procedure should fail to type-check.missing-service.ts
Provide multiple services
Merge services into one application layer, then provide that layer once.app-layer.ts