Effect для TypeScript: архитектура, ошибки, зависимости и конкурентность

Как Effect делает ошибки, зависимости и конкурентность частью типов: слои, схемы, сравнение с Promise и Zod — и когда библиотека уже избыточна.