# Matcher.Services

Extracts a Matcher's required Effect services.

## Signatures

```ts
type Services<T> = [
    T
] extends [
    Matcher<infer _A, infer _E, infer R>
] ? R : never;
```

## Why

Composition can prove which requirements remain after local providers.

## Ownership and lifetime

Computed only by TypeScript; service ownership remains with the environment that runs the Matcher.