> But it’s *not* a type. The bottom type is as much a type as the top type (Any) is. There is a *lot* of literature on this. Respectfully, if you believe otherwise, you need to research type systems more until you change your mind. -- Brent Royal-Gordon Architechies