Decoding JSON Objects into Tagged Union Types with Effect Typescript

const EqOp = Schema.TaggedStruct("eq", { value: Schema.Any });
const LtOp = Schema.TaggedStruct("lt", { value: Schema.Number }); // operator 'lt' requires a number....
const StartsWithOp = Schema.TaggedStruct("startsWith", { value: Schema.String }); // operator 'startsWith' requires a string...
const ExistsOp = Schema.TaggedStruct("exists", {}); // operator 'exists' doesn't take a value...
// ...etc.

const Op = Schema.Union(EqOp, LtOp, StartsWithOp, ExistsOp, /* ...etc. */);

class Condition extends Schema.Class<Condition>("Condition")({
  attribute: Attribute, // basically string + filters...
  op: Op
}) {}

const Base = Schema.Struct({ op: Schema.String, value: Schema.optional(Schema.Any) }).pipe(
    Schema.rename({ op: "_tag" }),
);
const BaseToOp = Base.pipe(Schema.compose(Op))