error: TS2345 [ERROR]: Argument of type '<A, E, R extends never>(program: Effect.Effect<A, E, R>) => Promise<A>' is not assignable to parameter of type '(b: Effect<void, never, unknown>) => Promise<void>'.
Types of parameters 'program' and 'b' are incompatible.
Type 'Effect<void, never, unknown>' is not assignable to type 'Effect<void, never, never>'.
Type 'unknown' is not assignable to type 'never'.
error: TS2345 [ERROR]: Argument of type '<A, E, R extends never>(program: Effect.Effect<A, E, R>) => Promise<A>' is not assignable to parameter of type '(b: Effect<void, never, unknown>) => Promise<void>'.
Types of parameters 'program' and 'b' are incompatible.
Type 'Effect<void, never, unknown>' is not assignable to type 'Effect<void, never, never>'.
Type 'unknown' is not assignable to type 'never'.