@deadparrot correct me if I'm wrong, please: if a type is a set of possible values then the `never` type is an empty set.