3 ms·To me, being able to represent "A or B or C" is a bare minimum of a type system.by tubthumper8 3y agoTo me, being able to represent "A or B or C" is a bare minimum of a type system.