ধরে এক একটি সংগ্রহ রয়েছে Cat
, এবং ধরনের কিছু বস্তু রেফারেন্স Animal
, Cat
, SiameseCat
, এবং Dog
। সংগ্রহটি জিজ্ঞাসা করা যাতে এতে রেফারেন্স Cat
বা SiameseCat
রেফারেন্স দ্বারা রেফার করা অবজেক্টটি যুক্তিযুক্ত মনে হয়। এতে Animal
রেফারেন্স দ্বারা উল্লেখ করা অবজেক্টটি রয়েছে কিনা তা জিজ্ঞাসা করা খারাপ লাগবে তবে এটি এখনও পুরোপুরি যুক্তিসঙ্গত। প্রশ্নে থাকা অবজেক্টটি সর্বোপরি একটি Cat
হতে পারে এবং সংগ্রহের মধ্যে উপস্থিত হতে পারে।
তদ্ব্যতীত, বস্তুটি এ ব্যতীত অন্য কিছু হতে পারে Cat
, এটি সংগ্রহে উপস্থিত রয়েছে কিনা তা বলার সমস্যা নেই - কেবল "না, তা দেয় না" উত্তর দিন। কিছু ধরণের একটি "লুকিং-স্টাইল" সংকলন অর্থপূর্ণভাবে কোনও সুপার টাইপের রেফারেন্স গ্রহণ করতে সক্ষম হবে এবং সংগ্রহের মধ্যে অবজেক্টটি বিদ্যমান কিনা তা নির্ধারণ করতে সক্ষম হওয়া উচিত। যদি পাস-ইন অবজেক্ট রেফারেন্স কোনও সম্পর্কযুক্ত ধরণের হয় তবে সংগ্রহটি সম্ভবত এটি ধারণ করার কোনও উপায় নেই, সুতরাং কোয়েরিটি কিছুটা অর্থে অর্থবহ নয় (এটি সর্বদা "না" উত্তর দেবে)। তবুও, যেহেতু প্যারামিটারগুলিকে সাব টাইপ বা সুপারটাইপস হিসাবে সীমাবদ্ধ করার কোনও উপায় নেই, তাই কেবল কোনও ধরণের গ্রহণ করা এবং যে কোনও ধরণের সংগ্রহের সাথে সম্পর্কিত নয় এমন কোনও অবজেক্টের জন্য "না" উত্তর দেওয়া সর্বাধিক ব্যবহারিক।