On the more mainstream side of things, Typescript also has a bottom type called `never` which is used to type unreachable/exceptional code.