Polymorphism

Let's talk about concrete type boolean string Date[] {a:number} | {b:string} (numbers:[]numbers)=>number Concrete types are useful when we know precisely what type we're expecting, and want to verify that type was actually passed. But sometime...