Pattern Matching Discriminated Union

type ActionError<E extends { _tag: string }> = E | Redirect | NotFound | Unauthorized | Unexpected

const match = <E extends { _tag: string }>(e: ActionError<E>) =>
  Effect.gen(function* () {
    const headers = yield* ResponseHeaders;

    const result = Match.value(e).pipe(
      // Type errors
      Match.tags({
        NotFound: () => Effect.failSync(() => json(null, { status: 404, headers })),
        Unauthorized: () => Effect.failSync(() => json(null, { status: 401, headers })),
        Redirect: (e) => Effect.failSync(() => redirect(e.location, { headers })),
        Unexpected: (e) => Effect.failSync(() => json({ error: e.error }, { status: 500, headers })),
      }),
      Match.orElse((e) => Effect.succeed<E>(e)),
    );
  });