"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; }