Argument of type '<E, A>(effect: Effect<never, E, A>) => Promise<A>' is not assignable to parameter of type '(_: Effect<Element, never, Either<JsonParseError | InvalidDataError | PostNotFound | PostTooLongError | PostNotOwnedError, void>>) => Promise<...>'.
Types of parameters 'effect' and '_' are incompatible.
Type 'Effect<Element, never, Either<JsonParseError | InvalidDataError | PostNotFound | PostTooLongError | PostNotOwnedError, void>>' is not assignable to type 'Effect<never, never, Either<JsonParseError | InvalidDataError | PostNotFound | PostTooLongError | PostNotOwnedError, void>>'.
Type 'Element' is not assignable to type 'never'.
Type 'Paragraph' is not assignable to type 'never'.ts(2345)
Argument of type '<E, A>(effect: Effect<never, E, A>) => Promise<A>' is not assignable to parameter of type '(_: Effect<Element, never, Either<JsonParseError | InvalidDataError | PostNotFound | PostTooLongError | PostNotOwnedError, void>>) => Promise<...>'.
Types of parameters 'effect' and '_' are incompatible.
Type 'Effect<Element, never, Either<JsonParseError | InvalidDataError | PostNotFound | PostTooLongError | PostNotOwnedError, void>>' is not assignable to type 'Effect<never, never, Either<JsonParseError | InvalidDataError | PostNotFound | PostTooLongError | PostNotOwnedError, void>>'.
Type 'Element' is not assignable to type 'never'.
Type 'Paragraph' is not assignable to type 'never'.ts(2345)