どのエラーが投げられるのか分からない try/catch の不安を、Effect-TS で型に落とし込む実装ガイドです。Effect.gen の最初の一歩、共用体型によるドメインエラー設計、Layer での依存注入、Antigravity でジェネレータを書くコツを扱います。