Effect.Effect<void, never, never> and the refactor was because I needed to do some effectful computation before that. No worries, I'll use the Effect.map combinator so it looks like this:Effect.succeed is the effectful computation/dependency that I added and Console.log is the old Effect of type Effect.Effect<void, never, never>.Effect.Effect<Effect.Effect<void>> is assignable to Effect.Effect<void> (and I don't think that can be changed?).