Seeking Guidance on Integrating Effect Utilities with Existing Coding Patterns

function convertExitToOurStyle<
  A,
  E extends { _tag: string }, //internally enforce all errors must be tagged
  TheExit extends Exit.Exit<A, E>
>(theExit: TheExit) {
  if (theExit._tag === "Success") {
    return { value: theExit.value, failure: null };
  }
  if (theExit.cause._tag !== "Fail") {
    return { value: null, failure: "Unexpected error" as const };
  }
  return { value: null, failure: theExit.cause.error._tag };
}

const converted = convertExitToOurStyle(exit);
//'exit' is the return value of await Effect.runPromiseExit()
//and has a type of something like this:
Exit.Exit<number, ParseError | { readonly _tag: "FetchError" }>


//Leads to the following type:
const converted: {
    value: unknown;
    failure: null;
} | {
    value: null;
    failure: string;
}


//In practice what we'd want and expect is
const converted: { 
   value: number;
   failure: null;
} | { 
   value: null;
   failure: "Unexpected error" | "ParseError" | "FetchError"
}