Every Effect has three type channels: Effect<A, E, R> - **A**: Success type (what you get on success) - **E**: Error type (what can go wrong) - **R**: Requirements (services/dependencies needed)

The type signature documents the complete contract. In the anti-pattern, errors are untyped strings. In the Effect way, errors are typed.