# Fx.Fx.Services

Extracts the services required to run an `Fx`.

## Signatures

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

## Why

Combinators and helpers can expose the complete environment of a producer without
evaluating it. The tuple wrapper prevents unwanted conditional distribution.

## Ownership and lifetime

This conditional type performs no runtime work.