Creating a Flexible Discriminated Union Schema with Type Narrowing

How do I write a discriminated union schema that wont complain about an unknown type, but still allows me to narrow based on the discrimiator?
Was this page helpful?