Constraining Success Types in TypeScript Effect Handlers While Keeping Error and Context Unrestra...

import { Context, Effect } from "effect";

export class ExternalDep extends Context.Tag("ExternalDep")<
  ExternalDep,
  { bar: Effect.Effect<{ foo: string }> }
>() {}

type Event<Payload = void> = { id: string; payload: Payload };
export type Handler = (input: { foo: string }) => Effect.Effect<Event<any>[]>;

const handler1: Handler = ({ foo }) =>
  Effect.gen(function* () {
    return [{ id: "test", payload: undefined }];
  });

// Not working because of the error
const handler2: Handler = ({ foo }) =>
  Effect.gen(function* () {
    yield* Effect.fail(new Error("Test"));
    return [{ id: "test", payload: { foo: "bar" } }];
  });

// Not working because of the dependency
const handler3: Handler = ({ foo }) =>
  Effect.gen(function* () {
    const dep = yield* ExternalDep;
    const foo = yield* dep.bar;
    return [{ id: "test", payload: { foo } }];
  });