Preventing TypeScript Inference Issues with Either Unification

const extractTodoList: (message: string) => Effect.Effect<Either.Either<never, TooShortTodoList> | Either.Either<TodoList, never>, AiError | NoSuchElementException, never>

const extractTodoList: (message: string) => Effect.Effect<Either.Either<never, TooShortTodoList> | Either.Either<TodoList, never>, AiError | NoSuchElementException, never>

const extractTodoList: (message: string) => Effect.Effect<Either.Either<TodoList, TooShortTodoList>, AiError | NoSuchElementException, never>

const extractTodoList: (message: string) => Effect.Effect<Either.Either<TodoList, TooShortTodoList>, AiError | NoSuchElementException, never>