algebraic.ts

interface Car {
}

interface Bus {
}

type Vehicle = Car | Bus;

function drive(vehicle: Vehicle): void {
   switch (vehicle) {
       case Car:
       break;
       case Buss:
       break;
   }
}