Import
import { Fx } from "@typed/fx/Fx";Access Fx.Error through the imported Fx export. Its declaration below describes the member.
Signatures
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.
Other public imports
These import paths expose the same declaration. Each page retains its own public name and signature.