Trouble with Typing a Function in a TypeScript Code Snippet

// const makeStationRepo: Effect.Effect<StationRepo, never, TransactionContext>
// const makeFirefighterRepo: Effect.Effect<FirefighterRepo, never, TransactionContext>

function providePersistenceContext<A, E, R>(
  self: Effect.Effect<A, E, R>
): Effect.Effect<
  A,
  E,
  Exclude<R, StationRepo | FirefighterRepo> | TransactionContext
> {
  // Type 'Exclude<R, FirefighterRepo>' is not assignable to type 'TransactionContext'
  // Type 'R' is not assignable to type 'TransactionContext'
  return self.pipe(
    Effect.provideServiceEffect(StationRepo, makeStationRepo),
    Effect.provideServiceEffect(FirefighterRepo, makeFirefighterRepo)
  )
}

function providePersistenceContext<A, E, R>(
  self: Effect.Effect<A, E, R>
): Effect.Effect<
  A,
  E,
  Exclude<Exclude<R, StationRepo>, FirefighterRepo> | TransactionContext
> {
  return self.pipe(
    Effect.provideServiceEffect(StationRepo, makeStationRepo),
    Effect.provideServiceEffect(FirefighterRepo, makeFirefighterRepo)
  )
}