Filtering with Effectful Refinements in Effect TypeScript

// No good as DateTime.isFuture is an effect
getShow.pipe(Effect.filterOrFail(
  (show) => DateTime.isFuture(show.value.checkInEndTime),
  () => new Show.NotFound(),
))

// No good as DateTime.isFuture is an effect
getShow.pipe(Effect.filterOrFail(
  (show) => DateTime.isFuture(show.value.checkInEndTime),
  () => new Show.NotFound(),
))