### Elegant Pattern Matching for Union Schema in TypeScript

const FooInput = Struct({
  foo: String
})

const BarInput = Struct({
  bar: String
})

const BazInput = Struct({
  baz: String
})

const Input = Union(
  FooInput.pipe(attachPropertySignature("type", "foo")),
  BarInput.pipe(attachPropertySignature("type", "bar")),
  BazInput.pipe(attachPropertySignature("type", "baz"))
)

if (Schema.is(FooInput)(input)) {
  return yield* doStuffA();
}

if (Schema.is(BarInput)(input)) {
  return yield* doStuffB();
}

if (Schema.is(BazInput)(input)) {
  return yield* doStuffC();
}

const whenTypeIs = Match.discriminator("type");
Match.value(command).pipe(
  whenTypeIs("foo", (_) => doStuffA()),
  whenTypeIs("bar", (_) => doStuffB()),
  whenTypeIs("baz", (_) => doStuffC()),
  Match.exhaustive,
);