* Negated types *sometimes* don't really exclude the entries (they
normally do, though)