Effect для TypeScript: архітектура, помилки, залежності та конкурентність

Як Effect робить помилки, залежності та конкурентність частиною типів: шари, схеми, порівняння з Promise і Zod — і коли бібліотека зайва.