1. Argument of type '<R, E>(self: Effect<R, E, Random>) => Effect<R, E, number>' is not assignable to parameter of type '(a: Tag<Random, Random>) => Effect<Random, never, number>'.
Types of parameters 'self' and 'a' are incompatible.
1. Argument of type '<R, E>(self: Effect<R, E, Random>) => Effect<R, E, number>' is not assignable to parameter of type '(a: Tag<Random, Random>) => Effect<Random, never, number>'.
Types of parameters 'self' and 'a' are incompatible.