# Fx.Fx.Success

Extracts the emitted value type from an `Fx`.

## Signatures

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

## Why

Higher-order APIs can preserve a producer's value channel without restating all
three `Fx` type parameters. `never` remains `never` rather than distributing.

## Ownership and lifetime

This conditional type performs no runtime work.