I'm afraid you're confusing something! The intersection of all types is never, because, say, number and string don't intersect. The union of all types is unkno

I'm afraid you're confusing something! The intersection of all types is never, because, say, number and string don't intersect. The union of all types is unknown. any doesn't show set-like properties and yields ternary logic in clauses like any extends T, which makes it a paradox.