Modeling Annoying State with Minimal Schemas

type DataFoo = {
  type: "Foo",
  number: number,
  data: Foo
}
type DataBar = {
  type: "Bar",
  number: number,
  data: Bar
}

type Data = DataFoo | DataBase
type GenericData = {
  type: "Foo" | "Bar"
  number: number
  data: Foo | Bar
}

type DataFoo = {
  type: "Foo",
  number: number,
  data: Foo
}
type DataBar = {
  type: "Bar",
  number: number,
  data: Bar
}

type Data = DataFoo | DataBase
type GenericData = {
  type: "Foo" | "Bar"
  number: number
  data: Foo | Bar
}