# EffectInput

An Effect accepted at a DOM host boundary while preserving error and service inference.

## Signatures

```ts
export type EffectInput<A = any> = Effect.Effect<A, any, any> | Effect.Effect<A, never, never> | Effect.Effect<never, any, any> | Effect.Effect<never, never, any>;
```

## Why

The union prevents `never` channels from being widened when heterogeneous
host inputs are inferred.

## Ownership and lifetime

The Effect stays lazy and is owned by the Scope that renders the host.