"The singleton closed type for [[Nothing|ceylon.language::nothing]]."
shared object nothingType satisfies Type<Nothing> {
    
    string => "Nothing";
    
    typeOf(Anything instance) => false;
    
    exactly(Type<> type) => type == nothingType;
    
    supertypeOf(Type<> type) => exactly(type);
    
    subtypeOf(Type<> type) => true;
    
    shared actual Type<Other> union<Other>(Type<Other> type) => type;
    
    shared actual Type<Nothing> intersection<Other>(Type<Other> type) => this;
}