# Fx.Error

Extracts the typed error from an `Fx`.

## Signatures

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

## Why

Higher-order APIs can combine an unknown producer's failure channel precisely.
`never` remains `never` rather than distributing.

## Ownership and lifetime

This conditional type performs no runtime work.