Characteristic predicate Type::UnknownType::UnknownType

UnknownType()