Long have we spoken of them in hushed tones and referenced them in related issues, here they are: Negated Types Negated types, as the name may imply, are the negation of another type. Conceptually,...