Enforcing Audit Log Usage in TypeScript with Effect Library

const example = (status: string) =>
    Effect.gen(function* () {
        const ticketManager = yield* TicketManagerRepo;
        const auditAccess = yield* AuditAccessRepo;

        if (status === "completed") {
            yield* ticketManager.update({ id: 1, status: "completed" });
            yield* auditAccess.log({ action: "ticketClosed" });
        } else {
            yield* ticketManager.update({ id: 1, status: "pending" });
            yield* auditAccess.log({ action: "ticketOpened" });
        }
    });

    type AuditRequiredEffect<T = unknown, E = never, R = never> = Effect.Effect<
        T,
        E,
        AuditLog | R
    >;
    

    type AuditToken = string & Brand.Brand<"AuditToken">;
    
    type AuditRequiredEffect<T = unknown, E = never, R = never> = Effect.Effect<
        { data: T; auditProof: AuditToken },
        E,
        R
    >;