Deriving an `Exit` schema from a `TaggedRequest` for encoding purposes

Having a

TaggedRequest

TaggedRequest

is it possible to derive an

Exit

Exit

schema?

Use case: I need to encode the result of it obtained via

Effect.exit

Effect.exit

and I need to encode the

Exit

Exit

for interoperability reason.

I read the

Schema

Schema

Exit

Exit

tests but still struggling to understand if what I need is possible with current combinators

Deriving an `Exit` schema from a `TaggedRequest` for encoding purposes - Effect Community