Linter rule to avoid side effects in Effect.gen blocks? Or better yet, compiler error?

Effect.gen(function* () {
  yield* Effect.sync(() => { // <-- lifted side effect
    sideEffect()
  })
})

// vs.

Effect.gen(function* () {
  sideEffect() // <-- should not be allowed, I think?
})

Effect.gen(function* () {
  yield* Effect.sync(() => { // <-- lifted side effect
    sideEffect()
  })
})

// vs.

Effect.gen(function* () {
  sideEffect() // <-- should not be allowed, I think?
})