What problem does it solve? Business logic often ends up scattered across fat controllers and procedural scripts, making invariants hard to enforce and code hard to reason about. This Skill guides the design of backend domains using domain-driven design with Effect-TS, so business rules live in explicit types, aggregates, and services instead of route handlers. ## Core Features & Use Cases - Bounded Context Extraction: Define language boundaries and a domain glossary before writing any schema or code. - Typed Domain Modeling: Build value objects, aggregates, and invariant-enforcing methods with Effect-TS Schema and Data classes so invalid states are unrepresentable. - Service & Event Layers: Compose domain services with Effect Layers, publish past-tense domain events through a BullMQ outbox, and keep controllers as thin orchestrators. - Use Case: Translating a Nigerian fintech requirement (VAT computation, FIRS e-invoicing) into a TaxComputation bounded context with TIN value objects, a VATReturn aggregate, and a fileVATReturn application service wired to Fastify. ## Quick Start Ask the AI to model your business workflow into bounded contexts, aggregates, and an Effect-TS service layer before writing any route handlers.