The bottom type has a different name in a bunch of languages. I've seen nothing, _|_, !, never and empty. I don't know which is the most approachable to users though. `List[Empty]` reads very nicely for an empty list, whereas `never` reads nicely for error functions.